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

Done.

Jason Gross (jgross-h) said : #2

Thanks so much!

Jason Gross (jgross-h) said : #3

Thanks Colin Watson, that solved my question.