[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1100416: marked as done (transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal)

Your message dated Thu, 3 Apr 2025 17:09:20 +0200
with message-id <e58cb8e0-4ef8-46b1-8d5e-0129532d9081@debian.org>
and subject line Re: Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
has caused the Debian Bug report #1100416,
regarding transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
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 owner@bugs.debian.org
immediately.)


-- 
1100416: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1100416
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpuydt@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
<debian-ocaml-maint@lists.debian.org>

A new upstream version of coq-elpi, coq-quickchick, coq-simple-io and
coqeal are out ; they require rebuilding all depending packages (see
below).

I'm waiting for the "go!" signal to upload the new packages.

Cheers,

J.Puydt

PS: running "coq-wanna-build coq-elpi 2.5.0-1 coq-quickchick 2.1.0-1
coqeal 2.1.0-1 coq-simple-io 1.11.0-1"
gives the following transition script:

 nmu coq-hierarchy-builder_1.8.1-1+b1 . ANY . -m 'Rebuild because of
upload of coq-elpi=2.5.0-1'
 dw coq-hierarchy-builder_1.8.1-1+b1 . ANY . -m 'coq-elpi >= 2.5.0-1'
 nmu coq-corn_8.20.0-1+b2 . ANY . -m 'Rebuild because of upload of coq-
elpi=2.5.0-1'
 dw coq-corn_8.20.0-1+b2 . ANY . -m 'coq-elpi >= 2.5.0-1'
 nmu ssreflect_2.3.0-1+b6 . ANY . -m 'Rebuild because of upload of coq-
hierarchy-builder=1.8.1-1+b1'
 dw ssreflect_2.3.0-1+b6 . ANY . -m 'coq-hierarchy-builder >= 1.8.1-
1+b1'
 dw coq-quickchick_2.1.0-1 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 dw coq-quickchick_2.1.0-1 . ANY . -m 'coq-simple-io >= 1.11.0-1'
 nmu coq-deriving_0.2.1-1+b6 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1+b6'
 dw coq-deriving_0.2.1-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 nmu coq-reglang_1.2.1-4+b13 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1+b6'
 dw coq-reglang_1.2.1-4+b13 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 nmu coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6'
 dw coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
 nmu coquelicot_3.4.3-1+b2 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1+b6'
 dw coquelicot_3.4.3-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 nmu mathcomp-bigenough_1.0.2-1+b2 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6'
 dw mathcomp-bigenough_1.0.2-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 nmu mathcomp-finmap_2.1.0-3+b6 . ANY . -m 'Rebuild because of upload
of ssreflect=2.3.0-1+b6'
 dw mathcomp-finmap_2.1.0-3+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 nmu mathcomp-zify_1.5.0+2.0+8.16-4+b6 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6'
 dw mathcomp-zify_1.5.0+2.0+8.16-4+b6 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
 nmu mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'Rebuild because of
upload of mathcomp-zify=1.5.0+2.0+8.16-4+b6 ssreflect=2.3.0-1+b6 coq-
elpi=2.5.0-1'
 dw mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'mathcomp-zify >=
1.5.0+2.0+8.16-4+b6'
 dw mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
 dw mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'coq-elpi >= 2.5.0-
1'
 nmu mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'Rebuild because of upload
of coq-elpi=2.5.0-1 coq-hierarchy-builder=1.8.1-1+b1 ssreflect=2.3.0-
1+b6 mathcomp-finmap=2.1.0-3+b6 mathcomp-bigenough=1.0.2-1+b2'
 dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'coq-elpi >= 2.5.0-1'
 dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'coq-hierarchy-builder >=
1.8.1-1+b1'
 dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'mathcomp-finmap >= 2.1.0-
3+b6'
 dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'mathcomp-bigenough >=
1.0.2-1+b2'
 nmu coq-extructures_0.5.0-1+b6 . ANY . -m 'Rebuild because of upload
of ssreflect=2.3.0-1+b6 coq-deriving=0.2.1-1+b6'
 dw coq-extructures_0.5.0-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 dw coq-extructures_0.5.0-1+b6 . ANY . -m 'coq-deriving >= 0.2.1-1+b6'
 nmu coq-interval_4.11.1-1+b8 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1+b6 coquelicot=3.4.3-1+b2'
 dw coq-interval_4.11.1-1+b8 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 dw coq-interval_4.11.1-1+b8 . ANY . -m 'coquelicot >= 3.4.3-1+b2'
 nmu mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6 mathcomp-finmap=2.1.0-3+b6 mathcomp-
bigenough=1.0.2-1+b2'
 dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
 dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'mathcomp-finmap >=
2.1.0-3+b6'
 dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'mathcomp-bigenough >=
1.0.2-1+b2'
 nmu mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6 mathcomp-bigenough=1.0.2-1+b2'
 dw mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
 dw mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'mathcomp-bigenough >=
1.0.2-1+b2'
 dw coqeal_2.1.0-1 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
 dw coqeal_2.1.0-1 . ANY . -m 'mathcomp-real-closed >= 2.0.2-1+b6'

--- End Message ---
--- Begin Message --- 
Hi,
On Tue, 18 Mar 2025 13:07:42 +0100 Emilio Pozuelo Monfort <pochu@debian.org> wrote:
Since this was requested before the transition freeze, let's go ahead. Please upload the package as soon as possible, so that we can schedule the appropriate binNMUs and get this done. 

I think this all happened and the packages migrated.

Paul

Attachment: OpenPGP_signature.asc
Description: OpenPGP digital signature


--- End Message ---
Reply to: