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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.1-1
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.6.2
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:
 80b27cd36434afeecb046b0cb34fe55def180220 410072 coq-quickchick_2.0.1.orig.tar.gz
 08a818bec3197905a34802a50dfaf6f290723488 3008 coq-quickchick_2.0.1-1.debian.tar.xz
Checksums-Sha256:
 9b69e605c25fda38e3d358e2c71429477a5fe94752ff8956bbd158386d642aa4 410072 coq-quickchick_2.0.1.orig.tar.gz
 48f324e00aad16f6660d93ba939ffcd79790e74415e7ecd8c1a72e119827bbf7 3008 coq-quickchick_2.0.1-1.debian.tar.xz
Files:
 1f3ba460ff6bfcf7bcb38b6bf22a8825 410072 coq-quickchick_2.0.1.orig.tar.gz
 482e67f55eecb78964da6992895839c6 3008 coq-quickchick_2.0.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZOsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVCwP/1KXhge51MGsaekU7kiQX3y1Bf2KS1Y8
G143KBTD6jziJFAvba8tR+F2BhmEi+HGvXj7Y5APQk3CO8iJKsVAvaqbxdONKylo
RnfXWaMkQOBojjqK91cpDejTm1nMgVBDLkBMOhA/TFam0N+FKfPVS3zgEW1CTWri
DJ0hpaTK8/2AdDFQvIPF2g2zh0+2rVPCh+FoylfabHGC7KK9rJPaUQTFzirCsPrM
c1yve60id9G8ZoOfsK47tkMU4JLrM/3ZqdqC9b2Sszh4PMt0m0EuX4cI5Q3d2fah
hPUbKYxLcBGGCv8IK/HXYV1vo5vqsBIjnV59P+XA/lEb6nwESWOBDML67uENcU5s
JH9vx7fxDX3ALZ48Xu8Ml11sDGYFNO/6mfbNkrj44I3H8bjKdB4rg8iKoKP5fMDz
Owf/N3eSUAE5Jn+avzwaRONxZIIlc39Jki6OD59mVQ+2IqUV6+mmgBANekOD1mIy
pin7kaELGn7VZDUi85fEv6VVQ9iY6ci15ODd2KaCc0CEhfqNZF+zgmkFzTBTjtx3
jnP0rujbRTaiBjAF0WqRBgAOwm/aP7vPnQnpYH5clgMLabk7Ay5onjFufi+9iyrX
89HHeaGN0XziEgU6eAo0eD4MiMikJcKRtzn7976skr8UwrjwV45RFmujsmUDVDAg
8xo8IoX8spOI
=P9c2
-----END PGP SIGNATURE-----