Launchpad itself

Please increase ppa size jgross-h/many-coq-versions-ocaml-3 , or don't count superseded binaries against quota

Asked by Jason Gross

I'm trying to get versions of Coq 8.4 that can actually install, and despite only having 65 source packages and only 16 of them build (32 successful binary packages), I'm told that I have 160 binary packages, and am over quota. Please bump the space allowance for this ppa, don't count superseded binaries against quota, or delete the superseded binaries from this ppa.

Thanks.

Question information

Language:
English Edit question
Status:
Expired
For:
Launchpad itself Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:
Revision history for this message
William Grant (wgrant) said : 		#1

The package counter and size estimate are accurate. There are 40 successful builds across the two architectures, each producing multiple binary packages.

Is there a particular reason that you need so many versions? Why do most of them fail to build? I'm happy to give you more space if there's valid justification.

Revision history for this message
Launchpad Janitor (janitor) said : 		#2

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