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

Bug#1117585: marked as done (coq: suggests why which is not in unstable)

Your message dated Wed, 29 Oct 2025 01:08:17 +0000
with message-id <E1vDufh-00Ffgb-0q@fasolo.debian.org>
and subject line Bug#1117585: fixed in coq 9.1.0+dfsg-2
has caused the Debian Bug report #1117585,
regarding coq: suggests why which is not in unstable
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.)


-- 
1117585: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1117585
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Subject: coq: suggests why which is not in unstable
Package: coq
Version: 8.20.1+dfsg-1+b1
Usertags: package-relations package-relations-suggests
Severity: wishlist

Dear maintainer,

I see that the package coq (version 8.20.1+dfsg-1+b1) suggests why which
is not in unstable.

This can be seen in https://packages.debian.org/unstable/coq . Search
for "Package not available".

The missing package used to be in Debian but they were removed some time
ago:

- https://tracker.debian.org/pkg/why


Should it be dropped or changed?

Thank you,

-- 
Carles Pina i Estany
https://carles.pina.cat | carles@pina.cat | cpina@debian.org

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: coq
Source-Version: 9.1.0+dfsg-2
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq, 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 1117585@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq 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, 29 Oct 2025 00:18:57 +0100
Source: coq
Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide
Architecture: source amd64
Version: 9.1.0+dfsg-2
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 libcoq-core - proof assistant for higher-order logic (theories)
 libcoq-core-ocaml - runtime libraries for Coq
 libcoq-core-ocaml-dev - development libraries and tools for Coq
 rocqide    - proof assistant for higher-order logic (gtk interface)
Closes: 1117585
Changes:
 coq (9.1.0+dfsg-2) experimental; urgency=medium
 .
   * Update depends from why to why3 (Closes: #1117585).
Checksums-Sha1:
 d05eeb5d8e4fb9790c8c45c9228fe5c01f89ef14 2540 coq_9.1.0+dfsg-2.dsc
 265769c59b4adec4dba16054d76512a30561eb6b 24092 coq_9.1.0+dfsg-2.debian.tar.xz
 377174c0c6e4833b6d555a16ca9095404fe32cca 16368 coq_9.1.0+dfsg-2_amd64.buildinfo
 3090b195c47da16aaf15125508ac791e1c039b12 39612632 coq_9.1.0+dfsg-2_amd64.deb
 5aa99b764929c37bc6a8ccce284bbf9c7dd570e9 70970908 libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb
 425ae1fd23d82314e3a71b05c5d8de68210862b5 26823372 libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb
 066b268ae72b15fae4dc3261c923cc68936b2028 1137624 libcoq-core_9.1.0+dfsg-2_amd64.deb
 fbe0c3a00a934e90558ad9df88ba870873886441 1931252 rocqide_9.1.0+dfsg-2_amd64.deb
Checksums-Sha256:
 230f9b397d1185f8231ad84b541fe35628ecb3c51d42173df0785bb4f28bc5c0 2540 coq_9.1.0+dfsg-2.dsc
 75ea3dbfde967fa2b399aa8dc5954beee6ab4fdb742ef55b8a2c89a88c223381 24092 coq_9.1.0+dfsg-2.debian.tar.xz
 585fc1f34af967db9d96dbe2c94e78b719a7a5b716d36c34f3ce25a2dfcc156b 16368 coq_9.1.0+dfsg-2_amd64.buildinfo
 984e2549a8f450ef9b9b527487797629ec4ec1158f910b33c4cb8bdaf9ace1f3 39612632 coq_9.1.0+dfsg-2_amd64.deb
 6e763b870090b848f1fdb1ed52317fad9bdd05e46a710fa05b4db914fd4b1386 70970908 libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb
 a7250fc5ce9eaaef3bb856b1b522d10a5a259d41b1d6aa126f8a9002bfc6765a 26823372 libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb
 4d9fd6af19a87d4b0644182b224efa3a38d713a856bb8137637eca1f35125ea7 1137624 libcoq-core_9.1.0+dfsg-2_amd64.deb
 8fefaeed8e7d076f9da6b1e2de06e6d47b1d2975ac1dd2ba4eda7c9cb375eab6 1931252 rocqide_9.1.0+dfsg-2_amd64.deb
Files:
 d25208473652777ef2b9318e08055b98 2540 math optional coq_9.1.0+dfsg-2.dsc
 cef4c3a31210a5fdb587db878a4ac5f4 24092 math optional coq_9.1.0+dfsg-2.debian.tar.xz
 52cf48fcb70f0095d7b7c7300ea45083 16368 math optional coq_9.1.0+dfsg-2_amd64.buildinfo
 f1bbd0f7ddd6648396c8b86f4823a983 39612632 math optional coq_9.1.0+dfsg-2_amd64.deb
 9107e6e984d1ee6b27380e94ef36c4ce 70970908 ocaml optional libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb
 7b2a8bf26122e656ba7632f15590a047 26823372 ocaml optional libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb
 c8d9999ecfe6504ea747057686de2ec3 1137624 math optional libcoq-core_9.1.0+dfsg-2_amd64.deb
 862c1f302b09c64ef9673281372a1656 1931252 math optional rocqide_9.1.0+dfsg-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBUaUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUpXD/9U/W7ehDSUzaxcKH2lzeVs
5JvkoXm2d1zpi2mS5sxEFNMIRttsD2vLNRCIePjLHkXG03H6k3XRA2ZFDS5Gj+Zs
tTLNVgNVLszl8RwVcUUIGXmJqBTQSg2WDif2GqFspgeLumZjf5yvdmMRomeoVG2R
jUMBYa5S3rCf4qok6ws9BujfJ9W4/j+BBMubmYtJfR635YjxqBdaPn+BX0A4i8xo
mY/7SywY06aqk97nEm2lUYODcnOpDIdUau9zV3M3PSTCnbCI0uNxIzyssVeuNCxV
KFCND3as4gakSycrlNJrwWgAM37CC+BHBP0fHKwy6jW0wtmN6Idv6DghOFXT3Dws
ORAnxY5uzuOe+vTYNhNsKj/Pc68QtO2YD+e5e0bgxhOMUQTJKE/m7fwSYIsVnIaf
V0a0gWLQ71q8qeIfAwt0oQJLD1Wcj94QM2QSTKFnpu6LTDih2NjlHNVRed/Mm0Fh
5O190BIJOXf57n1bi0TX/yp0vIl9r1gKFayedtimJYyUX++uXEoK+vvXazrRZZjX
3X+JfmJu77XikIKQJLwKcisdl+MN5Ny+VnlUBOJFHgaWvCfyb11U45UWtJcHMV+r
jYQRjJPAtxfVoVMtLDmFgj3lugKT0v6t0nAxGS3dOp8bqXkLEN9MPiOz1WZq9rti
RHbXd1raoIw7G3U3ZkKtQA==
=HC/0
-----END PGP SIGNATURE-----

Attachment: pgpCcfkXnqyfO.pgp
Description: PGP signature


--- End Message ---
Reply to: