Your message dated Sun, 28 Sep 2025 09:49:12 +0000
with message-id <[email protected]>
and subject line Bug#1111916: fixed in coq-quickchick 2.1.0-1.1
has caused the Debian Bug report #1111916,
regarding quickchick: ships files in /usr/doc
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 [email protected]
immediately.)
--
1111916: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111916
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
package: quickchick
version: 2.1.0-1
severity: serious
Hi,
quickchick has files in /usr/doc
/usr/doc/coq-quickchick/CHANGELOG.md
/usr/doc/coq-quickchick/README.md
These should go in /usr/share/doc
This is a violation of debian policy 9.1.1
Cheers,
Ivo
--- End Message ---
--- Begin Message ---
Source: coq-quickchick
Source-Version: 2.1.0-1.1
Done: Adrian Bunk <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Adrian Bunk <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
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 <[email protected]>
Changed-By: Adrian Bunk <[email protected]>
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-----
pgpG0nuqoJUPA.pgp
Description: PGP signature
--- End Message ---
