-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.5-1build6
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Quickchick/Quickchick
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, ocaml-dune, help2man, libcoq-ext-lib, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-simple-io, libcoq-stdlib, menhir, ocamlbuild
Package-List:
 libcoq-quickchick deb ocaml optional arch=any
 quickchick deb ocaml optional arch=any
Checksums-Sha1:
 7c1f89504855a4077a089b1fb64090af585ff3c8 413023 coq-quickchick_2.0.5.orig.tar.gz
 f427ee42e680521ea6e1daf549ba750837c7a098 3064 coq-quickchick_2.0.5-1build6.debian.tar.xz
Checksums-Sha256:
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 4a0d3846a448843047749386af8783d394e2f939377950e72ea928ef1efca0d9 3064 coq-quickchick_2.0.5-1build6.debian.tar.xz
Files:
 3fe1c7124122fdfd5817d8634c1e68a6 413023 coq-quickchick_2.0.5.orig.tar.gz
 26ce36e3c15d42f0cce3b8c519aec10a 3064 coq-quickchick_2.0.5-1build6.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1h0EACgkQ808JdE6f
XdkzBA/7BkEftzdiGeahibCwlNYaXMyIWDX65szMaAvRBU7GBbnGG4XsI61xy88T
XG+iVdSk1y7W00tsuH/CLJF3397I1V9X+X96mQBO6+iJKR63GwOItWny+Mh0N5d1
G9cqz1nmbfA5YGDDnTQIeFiexudGVXZmUzQtG6CwYB8kqNfmcZvkoz06lgVaRNfm
PuOWQLaDx6HlaPCa7JLchwd24zkPcTco2iVfceDM6/RdvXRSjtml7KjUd5Z5fckv
t8kUsUpm9Q+51Fq3zzDg/DrHtxLzvEipPJqt4MMZjF0yPYjmWWy0DoPw/PV6rKIk
Ea6slAEMZy0JZFj7kR0v6Ry9VJ3Bho2PWPvWXJJjCb4gp/3jXhCw8atKq1Ua4tbj
9UcawoUSllvRMtYNziQqpcwRsmJps9BnqoU3CkVZr118OEbpgtxlxzKvNqbgiaJK
7Hji8prxBgBysUKKfGBm/7pjJotNSMUN9P8gVLK2hyLiFZ8sGS6u6bgp20FOy2+K
s4oQH5kMEVCgnbmA5sb7vxWGkDSP5sV7gk6wBQju3J7dgPSy6maeEc4W+F+LRP86
uj/dwwdoKx7QLZDHEoOxdnVwCwWws5ynnRNIYQHAkwFgN7K7WmbrnwzmLJMxmLDd
XqWOKGd4oJJi/dvKhrfixMKf4Nj+9FXI3zmTXERJoN6ake+jvog=
=7SUb
-----END PGP SIGNATURE-----