Bug#1111916: coq-quickchick: diff for NMU version 2.1.0-1.1
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 <bunk@debian.org> 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:
Reply to: