Please increase ppa size for ppa:jgross-h/many-coq-versions
Asked by
Jason Gross
on 2021-02-03
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:
- 2021-02-19
- Last query:
- 2021-02-19
- Last reply:
- 2021-02-03
|
#1 |
Done.
Jason Gross (jgross-h) said : | #2 |
Thanks!
Jason Gross (jgross-h) said : | #3 |
Thanks Colin Watson, that solved my question.
To post a message you must log in.