Your message dated Wed, 29 Jul 2026 07:05:22 +0000
with message-id <[email protected]>
and subject line Bug#1044511: fixed in coq-quickchick 2.2.0-2
has caused the Debian Bug report #1044511,
regarding coq-quickchick: Fails to build source after successful build
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 [email protected]
immediately.)
--
1044511: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044511
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: coq-quickchick
Version: 2.0-2
Severity: minor
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: [email protected]
Usertags: qa-doublebuild
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:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env
> -us -uc -rfakeroot -S
> ---------------------------------------------------------------------------------------------------------------------------------
>
> dpkg-buildpackage: info: source package coq-quickchick
> dpkg-buildpackage: info: source version 2.0-2
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Stéphane Glondu
> <[email protected]>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --with coq
> dh_auto_clean
> make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> CLEAN
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> # This might not work on macs
> find . -name '*.vo' -print -delete
> ./QuickChickInterface.vo
> ./DocumentationCheck.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/State.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/State.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.vo
> find . -name '*.glob' -print -delete
> ./DocumentationCheck.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/State.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/State.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.glob
> ./QuickChickInterface.glob
> find . -name *.d -print -delete
> find . -name *.o -print -delete
> find . -name *.cmi -print -delete
> ./debian/tmp/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmi
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmi
> find . -name *.cmx -print -delete
> ./debian/tmp/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmx
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmx
> find . -name *.cmxs -print -delete
> ./debian/tmp/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmxs
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/quickchick_plugin.cmxs
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmxs
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/quickchick_plugin.cmxs
> find . -name *.cmo -print -delete
> find . -name *.bak -print -delete
> find . -name *~ -print -delete
> find . -name *.conflicts -print -delete
> find . -name *.output -print -delete
> find . -name *.aux -print -delete
> ./.QuickChickInterface.aux
> ./src/.Generators.aux
> ./src/.SemChecker.aux
> ./src/.ExtractionQC.aux
> ./src/.Enumerators.aux
> ./src/.QuickChick.aux
> ./src/.GenProofs.aux
> ./src/.ShowFacts.aux
> ./src/.DependentClasses.aux
> ./src/.Producer.aux
> ./src/.Decidability.aux
> ./src/.MutateCheck.aux
> ./src/.TacticsUtil.aux
> ./src/.Instances.aux
> ./src/.StringOT.aux
> ./src/.CheckerProofs.aux
> ./src/.Proofs.aux
> ./src/.Tactics.aux
> ./src/.Classes.aux
> ./src/.LazyList.aux
> ./src/.State.aux
> ./src/.Sets.aux
> ./src/.Typeclasses.aux
> ./src/.RandomQC.aux
> ./src/.Mutation.aux
> ./src/.EnumProofs.aux
> ./src/.Show.aux
> ./src/.Test.aux
> ./src/.Checker.aux
> ./src/.RoseTrees.aux
> ./src/.Nat_util.aux
> ./src/.CoArbitrary.aux
> ./.DocumentationCheck.aux
> rm -f Makefile.coq Makefile.coq.conf
> rm -f plugin/depDriver.ml plugin/genericLib.ml plugin/tactic_quickchick.mlg
> plugin/weightmap.mlg src/ExtractionQC.v src/QuickChick.v _CoqProject
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-quickchick using existing
> ./coq-quickchick_2.0.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to .lia.cache: binary file
> contents changed
> dpkg-source: error: add .lia.cache in debian/source/include-binaries if you
> want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'DocumentationCheck.vok' will
> not be represented in diff
> dpkg-source: warning: newly created empty file 'DocumentationCheck.vos' will
> not be represented in diff
> dpkg-source: warning: newly created empty file 'QuickChickInterface.vok' will
> not be represented in diff
> dpkg-source: warning: newly created empty file 'QuickChickInterface.vos' will
> not be represented in diff
> dpkg-source: error: unrepresentable changes to source
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1
>
> E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage
> --sanitize-env -us -uc -rfakeroot -S' failed to run.
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.
--- End Message ---
--- Begin Message ---
Source: coq-quickchick
Source-Version: 2.2.0-2
Done: Julien Puydt <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
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 <[email protected]>
Changed-By: Julien Puydt <[email protected]>
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-----
pgpTlEUYOvgAv.pgp
Description: PGP signature
--- End Message ---
