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

Asked by Jason Gross on 2021-02-03

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:
Colin Watson
Solved:
2021-02-19
Last query:
2021-02-19
Last reply:
2021-02-03
Best Colin Watson (cjwatson) said : #1

Done.

Jason Gross (jgross-h) said : #2

Thanks!

Jason Gross (jgross-h) said : #3

Thanks Colin Watson, that solved my question.