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

Asked by Jason Gross on 2019-03-21

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:
2019-10-25
Last query:
2019-10-25
Last reply:
2019-03-22
Best Colin Watson (cjwatson) said : #1

Done.

Jason Gross (jgross-h) said : #2

Thanks Colin Watson, that solved my question.