Questions for Jason Gross

              
Summary Created Submitter In Assignee Status
Answered 679398 Please increase repository size limit of jgross-h/coq-master-daily 2019-03-21 20:45:38 UTC 2019-03-21 Jason Gross Launchpad itself Answered
Answered 665743 "as soon as possible" should not be > 12 hours away (imports) 2018-03-17 03:58:02 UTC 2018-03-17 Jason Gross Launchpad itself Answered
Solved 663120 Please increase ppa size for ppa:jgross-h/many-coq-versions 2018-01-16 09:24:28 UTC 2018-01-16 Jason Gross Launchpad itself Solved
Solved 628562 More space for ppa:jgross-h/coq-trunk-daily? 2017-04-25 21:55:35 UTC 2017-04-25 Jason Gross Launchpad itself Solved
Solved 404833 More space for ppa:jgross-h/many-coq-versions? 2016-12-06 06:35:19 UTC 2016-12-06 Jason Gross Launchpad itself Solved
Answered 404178 git-build-recipe fails to handle nest-part 2016-11-17 18:48:39 UTC 2016-11-17 Jason Gross Launchpad itself Answered
Answered 404177 git-import forces a separate ppa for each version of a repo that needs to be built 2016-11-17 18:47:26 UTC 2016-11-17 Jason Gross Launchpad itself Answered
Answered 404176 git-build-recipe fails to handle nest-part 2016-11-17 18:10:43 UTC 2016-11-17 Jason Gross Ubuntu Answered
Solved 303648 Please recognize field gpgsig in git automatic import 2016-07-26 16:12:16 UTC 2016-07-26 Jason Gross Launchpad itself Solved
19 of 9 results