Please increase ppa size for ppa:jgross-h/many-coq-versions

Asked by Jason Gross on 2018-01-16

I'd like to keep coq packages for the various Ubuntu distributions in the same ppa, so I'd like a larger limit on ppa:jgross-h/many-coq-versions. Thanks!

Question information

Language:
English Edit question
Status:
Solved
For:
Launchpad itself Edit question
Assignee:
No assignee Edit question
Solved by:
William Grant
Solved:
2018-01-27
Last query:
2018-01-27
Last reply:
2018-01-27
Best William Grant (wgrant) said : #1

Done.

Jason Gross (jgross-h) said : #2

Thanks!