Hi,

This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).

This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.

More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild

Relevant part of the build log:
The full build log is available from:
http://qa-logs.debian.net/2023/08/13/coq-quickchick_2.0-2_unstable.log

If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects

If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.

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 1044511@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@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)
Format: 1.8
Date: Fri, 22 Dec 2023 11:28:29 +0100
Source: coq-quickchick
Architecture: source
Version: 2.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044511
Changes:
 coq-quickchick (2.0.1-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044511).
   * New upstream release.
Checksums-Sha1:
 5d20fc14834fe414af3b97f9818e50b1c52192cb 2275 coq-quickchick_2.0.1-1.dsc
 80b27cd36434afeecb046b0cb34fe55def180220 410072 coq-quickchick_2.0.1.orig.tar.gz
 08a818bec3197905a34802a50dfaf6f290723488 3008 coq-quickchick_2.0.1-1.debian.tar.xz
 38eb776fb8331286130102706470683705d705cc 8676 coq-quickchick_2.0.1-1_source.buildinfo
Checksums-Sha256:
 31d06b0898baf1ed1e1a8c09b5392630827efcfc221c48e8917ebaef4831f88d 2275 coq-quickchick_2.0.1-1.dsc
 9b69e605c25fda38e3d358e2c71429477a5fe94752ff8956bbd158386d642aa4 410072 coq-quickchick_2.0.1.orig.tar.gz
 48f324e00aad16f6660d93ba939ffcd79790e74415e7ecd8c1a72e119827bbf7 3008 coq-quickchick_2.0.1-1.debian.tar.xz
 5e7869428f5f4bd904d6ac12cce513f6af80a1de21fceea744872eda00dc1be5 8676 coq-quickchick_2.0.1-1_source.buildinfo
Files:
 c616b5cf1864a96ef2df169302e11020 2275 ocaml optional coq-quickchick_2.0.1-1.dsc
 1f3ba460ff6bfcf7bcb38b6bf22a8825 410072 ocaml optional coq-quickchick_2.0.1.orig.tar.gz
 482e67f55eecb78964da6992895839c6 3008 ocaml optional coq-quickchick_2.0.1-1.debian.tar.xz
 b17d6f1103e8ed1c46fa225c3abfaa1b 8676 ocaml optional coq-quickchick_2.0.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZOsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiCYP/ishdOCynPsMXAdON0H55CjP9Chzo5yw
jc8BfDzzaPt/IQCxlLHYor9daoaW15AerthZI9zxJT0mqbm4WE27zK8FG7rL+/RW
UJELOiVPIgCsG8N0ER8uW+ACWXQFarOcF9AYS537JF/mjcIe2r0+oIGv1kwFF1ho
KlVPl8qqqzSoem1NcDCYHyiwDiqZtLdNMXEivFMX2j3Ul2ahIxla8U15gIKc9fL6
H0HSXpdu/x7f2UMU8uU3vKX68rlMR1IYeJoYVefeKQtGFgZrSDZKytae73AZFOpF
LpI0ZHnGQBKjY0hD6JkDdI1zwrovEmyigXRzjbcqo3WdqrkOqtkaM0qicAzc7A3s
RtC/MduWcDVhB9CQUhIEH+5zIGTTg5whex7RTxBXCHN/CaR8MQMeQHMAopIDwUKY
bWNVn2OSLad4uuLaaBr8z5A6uYyEIFK6StA0rrVCe+PtF98MWOf/GE18AB3HVAzl
aE/2QrjNumBRR+lGtd/KjMybbxAfw4ZAg2iqJ/O3JT+EEud2vizKRYZME7Su0jQ+
H4OkJa8LMwU6Kz0yFDlzSixIaHQecAGttNY13qkP0jQN6iUh2c+mF90vsMOUBX7k
YdIXNNazNRMDRsozCUySVJzZmaQiewtMcTLTvkC378amHlImrvmpSIKayh8keC/b
s/7vIyK8TWin
=MoXI
-----END PGP SIGNATURE-----

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 1044511@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@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)
Format: 1.8
Date: Wed, 29 Jul 2026 08:36:21 +0200
Source: coq-quickchick
Binary: libcoq-quickchick quickchick
Architecture: source amd64
Version: 2.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-quickchick - randomized testing framework for Coq (plugin)
 quickchick - randomized testing framework for Coq (tools)
Closes: 1044511
Changes:
 coq-quickchick (2.2.0-2) unstable; urgency=medium
 .
   * Fix compilation with recent dune.
   * Fix building source after build (Closes: #1044511).
Checksums-Sha1:
 4de46fc42a18a21b19719e5264f3efb1346126bf 2306 coq-quickchick_2.2.0-2.dsc
 e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.tar.gz
 c89b673a209839ebedc41ca80ad7ffdd39317f2c 3864 coq-quickchick_2.2.0-2.debian.tar.xz
 49d709692bb53224a8d21c234dae6a6b3f705fd6 8082 coq-quickchick_2.2.0-2_amd64.buildinfo
 3d6d6075a4ee1b933634696e6c50651d91986825 3499948 libcoq-quickchick_2.2.0-2_amd64.deb
 fb0c64502aa22d7b2a164709cc9897709d24174f 501056 quickchick_2.2.0-2_amd64.deb
Checksums-Sha256:
 1053925f243e83a10794e3a8d28086943397bcdfb6aa576fcfd021a2a14e7e3c 2306 coq-quickchick_2.2.0-2.dsc
 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz
 a8feec28dd6b5831c18b3e965b277f233c8cf70c21bc16000451fbcd2393d380 3864 coq-quickchick_2.2.0-2.debian.tar.xz
 2676d737da818747a689291b42ae1fa8feceb31170fda542c4f0b4dc4bd36c33 8082 coq-quickchick_2.2.0-2_amd64.buildinfo
 d730fed71ba8c6ff4b752cba8dcd218ebd582bf007af43a015eae9e270cbf8ab 3499948 libcoq-quickchick_2.2.0-2_amd64.deb
 b813c327d21768cca05070c82645abc1f224a081d00f4fb298fb5481f67bbd83 501056 quickchick_2.2.0-2_amd64.deb
Files:
 6ce455085a630715edbdd77a6a12ddab 2306 ocaml optional coq-quickchick_2.2.0-2.dsc
 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 ocaml optional coq-quickchick_2.2.0.orig.tar.gz
 fc7290b235865064b630994fe39b585a 3864 ocaml optional coq-quickchick_2.2.0-2.debian.tar.xz
 63a21461f23fc60a75b0bbdd1b9dd59c 8082 ocaml optional coq-quickchick_2.2.0-2_amd64.buildinfo
 88c459b311802168d0eb341d7a9d02c9 3499948 ocaml optional libcoq-quickchick_2.2.0-2_amd64.deb
 fe47c7e13f0652d78f17b7be366ff977 501056 ocaml optional quickchick_2.2.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppoQkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZoHD/91mfKXleBAjioKCe28f2Un
7cm6tOMaph6x7YgaRrDlWRI6I5s1pRPlhkzUq/OH1Tb31WNLcrPoFI2VXOkI01JR
FZXu+4YV05dpp8ya+6vYOOlqkK0g6nQ4O7PhKSHB2jNCuE/Anmss6NkU9CByZ8ac
3T7TWXazMlzRpv+d9k0lsRgIY4k39TsHuqq4SDnE2r43t2RryhFWjgvqGmOPdTL6
+4vcIx3gT+QCDupePIMdN0fAwagyh5WsotgFkxGO/oVbf4J3IBc9jk/rXldMjHWY
kyHkmyzXYJ5RWpB2gksavkE5jseN7Zmiw9av4oKsnFMR/icT9+ky/AX/t9P1B/nT
i4hv5lTSyre9QY6fSLzCKTshbp20uTT18kC7XIrVh7n+YZIC57HjfKVF/A++ipFP
OR+J9h/SIyjNWRUZJBaXlvdkWARIt+51DGcTKNKw5n8sDjpmjg3H++w5xkdSxlGF
qYF0YWSP0EB0kfzGkmiVcQr8Ub5+hFKeqUGeuWicDORy9aeoEqcZTTMKHTclaNCM
5xXNIFH+S+UobOxnmYWrgWzo2ivApGNIBptKdDUWpG5YBQIG+rbdohjX55HGfWg4
Pr/vKtIS81r1JBmHVB+U1pF0sCvUdocjsiHGzh3iM9rbbvmDE38hhtBztln5kjWG
aeIJVv2edh/826/aUfIB6g==
=/bd3
-----END PGP SIGNATURE-----