On 2013-05-24 14:03, Stéphane Glondu wrote:
Package: release.debian.org
Severity: important
Really?
Dear Release Managers,
Now that glib has migrated, I think that camlp5 [1] and related
packages need manual hinting. All the packages listed in the "Coq"
section of [2] need to enter together.
[1] http://release.debian.org/migration/testing.pl?package=camlp5
[2] https://wiki.debian.org/Teams/OCamlTaskForce/OCamlTransitions
britney's already trying without any manual input (she's generally
quite good at it):
leading:
camlp5,ledit/kfreebsd-i386,hol-light/mipsel,aac-tactics,ledit/kfreebsd-amd64,ledit/powerpc,hol-light/amd64,ledit/mipsel,ledit/sparc,ulex0.8/kfreebsd-i386,ulex0.8/ia64,ledit/armhf,hol-light/kfreebsd-amd64,hol-light/ia64,ssreflect,ulex0.8/i386,hol-light/i386,hol-light/kfreebsd-i386,coq,ledit/i386,ulex0.8/mipsel,ledit/amd64,ledit/ia64,hol-light/s390x,hol-light/s390,ledit/s390x,ulex0.8/s390x,ulex0.8/sparc,ledit/mips,ulex0.8/armhf,ulex0.8/s390,ulex0.8/powerpc,hol-light/sparc,ledit/s390,ulex0.8/armel,ulex0.8/amd64,hol-light/armhf,hol-light/armel,ulex0.8/mips,hol-light/powerpc,ulex0.8/kfreebsd-amd64,hol-light/mips,ledit/armel,coq-float
start: 15+0: i-2:a-0:a-0:a-1:i-0:k-3:k-3:m-0:m-0:p-0:s-1:s-3:s-2
orig: 15+0: i-2:a-0:a-0:a-1:i-0:k-3:k-3:m-0:m-0:p-0:s-1:s-3:s-2
easy: 17+0: i-4:a-0:a-0:a-1:i-0:k-3:k-3:m-0:m-0:p-0:s-1:s-3:s-2
* i386: libwhy-coq, why-examples
Looking at the dependencies, I guess why needs rebuilding against the
new coq, or removing?
Regards,
Adam
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
