Please increase ppa size for ppa:jgross-h/many-coq-versions-ocaml-4-08
Asked by
Jason Gross
on 2021-02-19
I'm trying to build all the dependencies for newer Coq versions on older Ubuntu versions, and 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-19
|
#1 |
Done.
Jason Gross (jgross-h) said : | #2 |
Thanks so much!
Jason Gross (jgross-h) said : | #3 |
Thanks Colin Watson, that solved my question.
To post a message you must log in.