More space for ppa:jgross-h/coq-trunk-daily?

Asked by Jason Gross on 2017-04-25

How do I get more space for https://launchpad.net/~jgross-h/+archive/ubuntu/coq-trunk-daily/ ? (I seem to have just about hit the limit, and since all of the coq packages there are built from the same recipe it's much easier to keep them all in the same ppa, if I can.)

Question information

Language:
English Edit question
Status:
Solved
For:
Launchpad itself Edit question
Assignee:
No assignee Edit question
Solved by:
William Grant
Solved:
2017-04-28
Last query:
2017-04-28
Last reply:
2017-04-28
Best William Grant (wgrant) said : #1

I've increased your quota.

Jason Gross (jgross-h) said : #2

thanks!