Launchpad itself

Please increase repository size limit of jgross-h/coq-master-daily

Asked by Jason Gross

Please increase the repository size limit of jgross-h/coq-master-daily; it is over-limit, and I'm trying to add new dependencies necessary for building Coq. Thanks!

Question information

Language:
English Edit question
Status:
Solved
For:
Launchpad itself Edit question
Assignee:
No assignee Edit question
Solved by:
Colin Watson
Solved:
Last query:
Last reply:
Revision history for this message
Best Colin Watson (cjwatson) said : 		#1

Done.

Revision history for this message
Jason Gross (jgross-h) said : 		#2

Thanks Colin Watson, that solved my question.