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

Asked by Jason Gross on 2021-02-19

I'm trying to build all the dependencies for newer Coq versions on older Ubuntu versions, and 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-ocaml-4-08. 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 so much!

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

Thanks Colin Watson, that solved my question.