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

Asked by Jason Gross on 2020-03-18

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

English Edit question
Launchpad itself Edit question
No assignee Edit question
Solved by:
Colin Watson
Last query:
Last reply:
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.

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., , 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.)

Jason Gross (jgross-h) said : #3

Thanks Colin Watson, that solved my question.

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.