Ubuntu

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

Asked by Jason Gross

The repository is currently over-limit, and I expect I'll have to add another dependency for the new version of one of the packages in that repository soon. Please increase the size limit of jgross-h/coq-master-daily. Thanks!

Question information

Language:
English Edit question
Status:
Expired
For:
Ubuntu Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:
Revision history for this message
Launchpad Janitor (janitor) said : 		#1

This question was expired because it remained in the 'Open' state without activity for the last 15 days.