Please increase ppa size for ppa:jgross-h/many-coq-versions-ocaml-4-05
Asked by
Jason Gross
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-
Question information
- Language:
- English Edit question
- Status:
- Answered
- Assignee:
- No assignee Edit question
- Last query:
- Last reply:
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.