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 1111916@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Adrian Bunk <bunk@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)
Format: 1.8
Date: Sun, 21 Sep 2025 14:14:24 +0300
Source: coq-quickchick
Architecture: source
Version: 2.1.0-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Adrian Bunk <bunk@debian.org>
Closes: 1111916
Changes:
coq-quickchick (2.1.0-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Install documentation under /usr/share/doc, not /usr/doc.
(Closes: #1111916)
* Don't install the upstream changelog twice.
Checksums-Sha1:
c92c3dc3a18fcb4c59a80d982a702042efb356e3 2258 coq-quickchick_2.1.0-1.1.dsc
5273f9521cc8038a8579921d7bd5ed162b0f513b 3016 coq-quickchick_2.1.0-1.1.debian.tar.xz
Checksums-Sha256:
a7284dc60f69c4aa7496561a45edf3fcb1e9e41baf216bb7e8987e0fbbeda47b 2258 coq-quickchick_2.1.0-1.1.dsc
c336a33775ef72e0d2341550c9a0e4cbf6806edbede8a062a3945400b79ec1c0 3016 coq-quickchick_2.1.0-1.1.debian.tar.xz
Files:
9019b45d45ff7a24a96be69e44c315cd 2258 ocaml optional coq-quickchick_2.1.0-1.1.dsc
d5a95cfd10a84de3627fed2f7b09d37d 3016 ocaml optional coq-quickchick_2.1.0-1.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmjP5UYACgkQiNJCh6LY
mLEG3BAAlg46DeINdYuOPVn+qiuvF1pDA6dDPK3BFTgv8fl/mnLv1sK0XmEJ/pBS
zihXsTXpAgQSeqI7Whe+ZAH6S0hpXVMvWQznYGdhaJrvB29FdMhOWCIXfVvN4pvg
hweZHn0Rtpk6N/KBikuhGfF4Zad6clpeanCU4Q7oSHMJHOmFNtlb8FEBi/iVaeuP
8iyrQEIVWVVQTGNmhuUuDDHwDYimk/ppiZ2qN8t9Bxta7EKUQYF4U6h1k8+gOV5+
i8emIDRLmSmPIK2y+RjgRIp0OyYaZcXRgCf0G4QLkZZYiu6yUzB9GrRG8KjgzlkB
vdj/X2JDTOZi7H93N1yEyQCnEpPzo9DpZcT0g9g1T9xEAN5yoRURy80088ARw+lC
A6gewCBhG5RgSwsd844+hTmSDRiNv1zHCaO/1w+8KQ0yoXE873VXHl8TNFkPUfQ+
J3RG11zVzy34pqz3GtUaPgYqjbR3P1ZuSFsqOPBitFdAg0Ycpf5W8xHFxvOMHgHC
i5eTZtngzYg38TYD72qxT4fRQMEGhK7Zk4yGQDn0ygR9KW7eAwUCMTW9AYAoQnBO
cM6ltNfbzCxkKkDPCY25uJJWw7xDsBpPCJYP2C1VGr+KT4Lz677ElXGTa7BjhkHR
hN/5rFg/Zzge32K2ifKQ4ixd5pz+1Ec5lAiJ0W73sIehiO9CAJ0=
=Kum+
-----END PGP SIGNATURE-----