Control: tags -1 confirmed
On 26/12/2024 21:46, Julien Puydt wrote:
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'
Go ahead.
Emilio
