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:
- Solved
- Assignee:
- No assignee Edit question
- Solved by:
- Kristian Glass
- Solved:
- Last query:
- Last reply:
To post a message you must log in.