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:
Last query:
Last reply:
Revision history for this message
Best Colin Watson (cjwatson) said :
#1

Done.

Revision history for this message
Jason Gross (jgross-h) said :
#2

Thanks!

Revision history for this message
Jason Gross (jgross-h) said :
#3

Thanks Colin Watson, that solved my question.