Your message dated Thu, 3 Apr 2025 17:25:28 +0200
with message-id <27dcd98c-fcbc-4357-912c-0c8e32ee0...@debian.org>
and subject line Re: Bug#1091458: transition: coq-ext-lib
has caused the Debian Bug report #1091458,
regarding transition: coq-ext-lib
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.)
--
1091458: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1091458
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org
A new coq-ext-lib version is out and two other packages need to be
recompiled. I checked them locally so I'm sure this transition will run
smoothly.
I'll upload the new coq-ext-lib when you'll give me the go.
Cheers,
J.Puydt
PS: the relevant transition script is :
nmu coq-simple-io_1.10.0-1+b1 . ANY . -m 'Rebuild because of upload of
coq-ext-lib=0.13.0-1'
dw coq-simple-io_1.10.0-1+b1 . ANY . -m 'coq-ext-lib >= 0.13.0-1'
nmu coq-quickchick_2.0.5-1+b2 . ANY . -m 'Rebuild because of upload of
coq-ext-lib=0.13.0-1 coq-simple-io=1.10.0-1+b1'
dw coq-quickchick_2.0.5-1+b2 . ANY . -m 'coq-ext-lib >= 0.13.0-1'
dw coq-quickchick_2.0.5-1+b2 . ANY . -m 'coq-simple-io >= 1.10.0-1+b1'
--- End Message ---
--- Begin Message ---
Hi,
On Thu, 9 Jan 2025 19:48:12 +0100 Emilio Pozuelo Monfort
<po...@debian.org> wrote:
> I'll upload the new coq-ext-lib when you'll give me the go.
Go ahead.
This seems to have happened.
Paul
OpenPGP_signature.asc
Description: OpenPGP digital signature
--- End Message ---
