Control: tags 1111916 + patch Control: tags 1111916 + pending Dear maintainer,
I've prepared an NMU for coq-quickchick (versioned as 2.1.0-1.1) and uploaded it to DELAYED/7. Please feel free to tell me if I should cancel it. cu Adrian
diffstat for coq-quickchick-2.1.0 coq-quickchick-2.1.0 changelog | 9 +++++++++ quickchick.docs | 1 + quickchick.install | 2 -- rules | 1 + 4 files changed, 11 insertions(+), 2 deletions(-) diff -Nru coq-quickchick-2.1.0/debian/changelog coq-quickchick-2.1.0/debian/changelog --- coq-quickchick-2.1.0/debian/changelog 2025-03-12 11:33:03.000000000 +0200 +++ coq-quickchick-2.1.0/debian/changelog 2025-09-21 14:14:24.000000000 +0300 @@ -1,3 +1,12 @@ +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. + + -- Adrian Bunk <[email protected]> Sun, 21 Sep 2025 14:14:24 +0300 + coq-quickchick (2.1.0-1) unstable; urgency=medium * New upstream release. diff -Nru coq-quickchick-2.1.0/debian/quickchick.docs coq-quickchick-2.1.0/debian/quickchick.docs --- coq-quickchick-2.1.0/debian/quickchick.docs 1970-01-01 02:00:00.000000000 +0200 +++ coq-quickchick-2.1.0/debian/quickchick.docs 2025-09-21 14:14:24.000000000 +0300 @@ -0,0 +1 @@ +README.md diff -Nru coq-quickchick-2.1.0/debian/quickchick.install coq-quickchick-2.1.0/debian/quickchick.install --- coq-quickchick-2.1.0/debian/quickchick.install 2025-03-12 11:33:03.000000000 +0200 +++ coq-quickchick-2.1.0/debian/quickchick.install 2025-09-21 14:14:24.000000000 +0300 @@ -1,3 +1 @@ usr/bin/quickChick -usr/doc/coq-quickchick/README.md -usr/doc/coq-quickchick/CHANGELOG.md diff -Nru coq-quickchick-2.1.0/debian/rules coq-quickchick-2.1.0/debian/rules --- coq-quickchick-2.1.0/debian/rules 2025-03-12 11:33:03.000000000 +0200 +++ coq-quickchick-2.1.0/debian/rules 2025-09-21 14:14:24.000000000 +0300 @@ -11,6 +11,7 @@ override_dh_auto_install: dune install coq-quickchick --destdir=$(CURDIR)/debian/tmp --prefix=/usr --libdir=$(OCAML_STDLIB_DIR) find $(CURDIR)/debian/tmp -name LICENSE -delete + rm -rf $(CURDIR)/debian/tmp/usr/doc help2man $(CURDIR)/debian/tmp/usr/bin/quickChick --no-discard-stderr > debian/quickChick.1 override_dh_auto_clean:
