Please increase ppa size for ppa:jgross-h/many-coq-versions
Asked by
Jason Gross
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.