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

Language:
English Edit question
Status:
Solved
For:
Launchpad itself Edit question
Assignee:
No assignee Edit question
Solved by:
Colin Watson
Solved:
2020-03-19
Last query:
2020-03-19
Last reply:
2020-03-19
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., 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.)

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.