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

Bug#1111916: marked as done (quickchick: ships files in /usr/doc)

Your message dated Sun, 28 Sep 2025 09:49:12 +0000
with message-id <E1v2o1o-009h2t-26@fasolo.debian.org>
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 owner@bugs.debian.org
immediately.)


-- 
1111916: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111916
Debian Bug Tracking System
Contact owner@bugs.debian.org 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 <bunk@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 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)


-----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 <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-----

Attachment: pgp_mLqIl_YJl.pgp
Description: PGP signature


--- End Message ---
Reply to: