Please increase ppa size for ppa:jgross-h/many-coq-versions
Asked by
Jason Gross
on 2018-01-16
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:
- William Grant
- Solved:
- 2018-01-27
- Last query:
- 2018-01-27
- Last reply:
- 2018-01-27
|
|
#1 |
Done.
| Jason Gross (jgross-h) said : | #2 |
Thanks!
To post a message you must log in.
