Bug#1040814: marked as done (coq-quickchick build-depends on dropped transitional package.)
Your message dated Wed, 12 Jul 2023 09:19:23 +0000
with message-id <E1qJW0J-005Yvr-ID@fasolo.debian.org>
and subject line Bug#1040814: fixed in coq-quickchick 2.0-2
has caused the Debian Bug report #1040814,
regarding coq-quickchick build-depends on dropped transitional package.
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.)
--
1040814: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040814
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: coq-quickchick
Version: 2.0-1
Tags: trixie, sid
Severity: serious
Justification: rc policy - "packages must be buildable within the same release"
User: debian-qa@lists.debian.org
Usertags: edos-uninstallable
coq-quickchick build-depends on dune, in bullseye this was a transitional package
built by the ocaml-dune source package and depending on the ocaml-dune
binary package. However in ocaml-dune 3.8.2-1 the transitional package
was dropped. It is still present in unstable as a cruft package but
is completely gone from testing.
Presumablly you need to update your build-dependency to build-depend on
dune instead of ocaml-dune.
--- End Message ---
--- Begin Message ---
Source: coq-quickchick
Source-Version: 2.0-2
Done: Stéphane Glondu <glondu@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-quickchick, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1040814@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated coq-quickchick package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 12 Jul 2023 10:55:33 +0200
Source: coq-quickchick
Architecture: source
Version: 2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1040814
Changes:
coq-quickchick (2.0-2) unstable; urgency=medium
.
* Team upload
* Build-depend on ocaml-dune (Closes: #1040814)
* Fix Vcs-*
Checksums-Sha1:
e236e3a8b77eb9f8c9e56a12b1289c4c5ea6a87e 2033 coq-quickchick_2.0-2.dsc
45af7a19db27ae4def3876960864445205cd6480 2900 coq-quickchick_2.0-2.debian.tar.xz
Checksums-Sha256:
aa8fe8292b449b4edf7242153a7f522326e42932668fdfc046bdaaaa9466cb82 2033 coq-quickchick_2.0-2.dsc
6d2532b7b97a09404f642605ee7e1bb56adfc1ec69f8232136a61ff248845ca6 2900 coq-quickchick_2.0-2.debian.tar.xz
Files:
a3a08ffef47d3a1bbfa546fb542ea7a1 2033 ocaml optional coq-quickchick_2.0-2.dsc
f0f9fcaec933c416f4df664968e2db51 2900 ocaml optional coq-quickchick_2.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSua2ESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBH2MIAJnPGpGZEs51Q0Qs+0IVeb4y+vl2xmuK
XTSvnitEX2u7dTCOKnXTaxl6p2OE+kRk3KlIE9LmWson2H7gI4jlX1oXZtTk2X4w
Y/8ZUJ5lufIYVQ0ZTVCoruYW67XLKdtUm/Ovl2v2Tq1XVyDYve8vgsHCYLo/6Igz
dkPq/DjwQbH73gdL85OAMbnUZTmas9aIEYJytN7Lw6kojiz7Zfulvc/Gu55bjpb5
OiYM6LRyvGiuvwLysQuDZY2VL4IlWFLp+GSSOWWVLQdwYDet/wK7hL+teAWZwfVy
bbPxm0qlG875eu21+w9/2gFdaWLcxWQdvaFnBLth7yFSlhp2m3X3oUk=
=zxwY
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: