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, the ppa I use for maintaining backports of the newest version of Coq (and necessary dependencies on older versions of Ubuntu); my daily package uploads have started failing.

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. Do please consider removing packages for cosmic and disco though, since those are no longer supported releases of Ubuntu.

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

Thanks! I've deleted the packages for cosmic. I'm a bit confused about disco, though; it still shows up as a valid distribution target in, e.g., https://code.launchpad.net/~jgross-h/+recipe/coq-master-daily-coqide-no , and I thought that releases are generally removed as valid targets when they are no longer supported? (Certainly, cosmic has been removed, and is no longer a checkbox option when I go to edit the distribution series, but disco is a still an option.)

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

Thanks Colin Watson, that solved my question.

Revision history for this message
Colin Watson (cjwatson) said : 		#4

Right, the Ubuntu release team haven't yet quite finished cleaning up disco in Launchpad - that's known and will hopefully happen soonish.