Your message dated Sat, 24 Feb 2024 08:38:30 +0100
with message-id <8c57e80b2c2462872fff67aea5a5af69197654a1.ca...@gmail.com>
and subject line Abandon this transition
has caused the Debian Bug report #1061476,
regarding transition: elpi
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1061476: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1061476
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: release.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
Severity: normal
there is a new upstream for elpi in the OCaml packages, which has an
impact on a few Coq packages.
I checked locally (using sbuild in a chroot) everything could move
fine.
Several packages need a new version and then some need just a rebuild.
A ben description of the plan is in post scriptum.
Waiting for your ACK to upload the new packages sources.
Thanks,
J.Puydt
PS:
dw coq-elpi 2.0.0-1 . ANY . -m 'elpi >= 1.18.1-1'
dw coq-hierarchy-builder_1.7.0-1 . ANY . -m 'coq-elpi >= 2.0.0-1'
dw ssreflect_2.2.0-1 . ANY . -m 'coq-hierarchy-builder >= 1.7.0-1'
dw coq-relation-algebra_1.7.10-1 . ANY . -m 'ssreflect >= 2.2.0-1'
dw mathcomp-finmap_2.1.0-1 . ANY . -m 'ssreflect >= 2.2.0-1'
nmu coq-deriving_0.2.0-1+b1 . ANY . -m 'Rebuild because of upload of
ssreflect=2.2.0-1'
dw coq-deriving_0.2.0-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
nmu coq-reglang_1.2.1-1+b1 . ANY . -m 'Rebuild because of upload of
ssreflect=2.2.0-1'
dw coq-reglang_1.2.1-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
nmu coquelicot_3.4.1-1+b1 . ANY . -m 'Rebuild because of upload of
ssreflect=2.2.0-1'
dw coquelicot_3.4.1-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
nmu mathcomp-bigenough_1.0.1-12+b1 . ANY . -m 'Rebuild because of
upload of ssreflect=2.2.0-1'
dw mathcomp-bigenough_1.0.1-12+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
nmu mathcomp-zify_1.5.0+2.0+8.16-1+b1 . ANY . -m 'Rebuild because of
upload of ssreflect=2.2.0-1'
dw mathcomp-zify_1.5.0+2.0+8.16-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
nmu coq-quickchick_2.0.2-1+b1 . ANY . -m 'Rebuild because of upload of
ssreflect=2.2.0-1'
dw coq-quickchick_2.0.2-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
nmu coq-extructures_0.4.0-1+b1 . ANY . -m 'Rebuild because of upload
of ssreflect=2.2.0-1 coq-deriving=0.2.0-1+b1'
dw coq-extructures_0.4.0-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
dw coq-extructures_0.4.0-1+b1 . ANY . -m 'coq-deriving >= 0.2.0-1+b1'
nmu coq-interval_4.9.0-1+b2 . ANY . -m 'Rebuild because of upload of
ssreflect=2.2.0-1 coquelicot=3.4.1-1+b1'
dw coq-interval_4.9.0-1+b2 . ANY . -m 'ssreflect >= 2.2.0-1'
dw coq-interval_4.9.0-1+b2 . ANY . -m 'coquelicot >= 3.4.1-1+b1'
nmu mathcomp-algebra-tactics_1.2.3-1+b1 . ANY . -m 'Rebuild because of
upload of ssreflect=2.2.0-1 mathcomp-zify=1.5.0+2.0+8.16-1+b1 coq-
elpi=2.0.0-1'
dw mathcomp-algebra-tactics_1.2.3-1+b1 . ANY . -m 'ssreflect >= 2.2.0-
1'
dw mathcomp-algebra-tactics_1.2.3-1+b1 . ANY . -m 'mathcomp-zify >=
1.5.0+2.0+8.16-1+b1'
dw mathcomp-algebra-tactics_1.2.3-1+b1 . ANY . -m 'coq-elpi >= 2.0.0-
1'
nmu mathcomp-multinomials_2.2.0-1+b1 . ANY . -m 'Rebuild because of
upload of ssreflect=2.2.0-1 mathcomp-finmap=2.1.0-1 mathcomp-
bigenough=1.0.1-12+b1'
dw mathcomp-multinomials_2.2.0-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
dw mathcomp-multinomials_2.2.0-1+b1 . ANY . -m 'mathcomp-finmap >=
2.1.0-1'
dw mathcomp-multinomials_2.2.0-1+b1 . ANY . -m 'mathcomp-bigenough >=
1.0.1-12+b1'
nmu mathcomp-real-closed_2.0.0-1+b1 . ANY . -m 'Rebuild because of
upload of ssreflect=2.2.0-1 mathcomp-bigenough=1.0.1-12+b1'
dw mathcomp-real-closed_2.0.0-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
dw mathcomp-real-closed_2.0.0-1+b1 . ANY . -m 'mathcomp-bigenough >=
1.0.1-12+b1'
nmu coqeal_2.0.1-1+b1 . ANY . -m 'Rebuild because of upload of
mathcomp-real-closed=2.0.0-1+b1 ssreflect=2.2.0-1'
dw coqeal_2.0.1-1+b1 . ANY . -m 'mathcomp-real-closed >= 2.0.0-1+b1'
dw coqeal_2.0.1-1+b1 . ANY . -m 'ssreflect >= 2.2.0-1'
--- End Message ---
--- Begin Message ---
Hi,
I'm already working on the next big transition for the Coq ecosystem in
Debian, and this one will just be part of it.
Cheers,
J.Puydt
--- End Message ---
