Bug#1111916: quickchick: ships files in /usr/doc

To: submit@bugs.debian.org
Subject: Bug#1111916: quickchick: ships files in /usr/doc
From: Ivo De Decker <ivodd@debian.org>
Date: Sat, 23 Aug 2025 16:30:05 +0000
Message-id: <[🔎] aKnsjX79Qgwbq7LA@debian.org>
Reply-to: Ivo De Decker <ivodd@debian.org>, 1111916@bugs.debian.org

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

Reply to:

Prev by Date: Processing of opam_2.4.1-1_source.changes
Next by Date: ocaml-portaudio_0.2.3-4_source.changes ACCEPTED into unstable
Previous by thread: Processing of opam_2.4.1-1_source.changes
Next by thread: ocaml-portaudio_0.2.3-4_source.changes ACCEPTED into unstable
Index(es):
- Date
- Thread