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:
Answered
For:
Launchpad itself Edit question
Assignee:
No assignee Edit question
Last query:
2019-03-21
Last reply:
2019-03-22
Colin Watson (cjwatson) said : #1

Done.

Can you help with this problem?

Provide an answer of your own, or ask Jason Gross for more information if necessary.

To post a message you must log in.