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

Asked by Jason Gross on 2019-10-25

I'd like more space for the ppa where I'm keeping all the various versions of the Coq packages that depend on OCaml 4.05 (ppa:jgross-h/many-coq-versions-ocaml-4-05), so I don't have to copy over all the dependencies to a new ppa / create new ppas for each new version of Coq that comes out. Thanks!

Question information

English Edit question
Launchpad itself Edit question
No assignee Edit question
Last query:
Last reply:
Jason Gross (jgross-h) said : #1

Is there a new way of getting ppa size increased? What do I need to do to get this resolved?

Colin Watson (cjwatson) said : #2

Done - sorry for the delay. (Do you really still need to have precise versions there, though?)

Can you help with this problem?

Provide an answer of your own, or ask Jason Gross for more information if necessary.

To post a message you must log in.