Please increase ppa size for ppa:jgross-h/many-coq-versions-ocaml-4-08
Asked by
Jason Gross
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-
Question information
- Language:
- English Edit question
- Status:
- Solved
- Assignee:
- No assignee Edit question
- Solved by:
- Colin Watson
- Solved:
- Last query:
- Last reply:
To post a message you must log in.