-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-2build6
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:
 a90c20d0ec48f9894a5fb8086e866ad2aa82b49b 411625 coq-quickchick_2.0.3.orig.tar.gz
 eabe1e7e4ed669fe90a847b27bbba4ff2368ee46 2920 coq-quickchick_2.0.3-2build6.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 c5b4212fef5f7334962f27716e7aa285fddbcb60de825840b81920b64303fd85 2920 coq-quickchick_2.0.3-2build6.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 f555b96a5e402602b3f2d3c2db1f864c 2920 coq-quickchick_2.0.3-2build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp6wACgkQ808JdE6f
XdmIEBAAutjAVh4Ec4h3D+zZIi/T4yIyFy+50t+FAiPZWUevr1WDl4Ms569XCMj4
RDIq555gkYPkKnXOBfvRpggXo7+EIfurVW5n7j7QSuNCXXRrh2bgUjXyxOhLoSIW
5FXbjI/Ky3uyPetYq840Zm2Rr4FLCpeW9CV6ZqNqCRiADUMtjc2BRASTc4GLXd51
Zm6nHxIRjGj0uRxtgWiMfU837XuTFDYMTaQXrHgj+fYnDh/FCmDsaUZIGSk7P/rC
lmlPkTPchQ4s2MkK1t5ZZciNKWdBLZM6FkdmCEfBaZbjWMaIh4BC2147P6lHdY+U
vhiDVzF1e9NbviaJG5lE1jNWj4r9Vd/HZxkfbvVkMzzO7onlQypJLpJfFPWmRxyC
2yKjYApgxkElajfWjC3kz2MLatHRaEy/uM1JnZ5sabdU3Rdp6LiJU+IqeQHpK44t
Jyg0327zGpKosrubafnmV3t/Auz5L8piy2mOiVZ0rEYFPF7Yp9P9zU3BBy/er0nm
z2OWXoB5APQSo6EKlXxCfD0w+6BS9agACSvtfkiPvXczR49CKsG+GoKVGPYu0jVw
41Ff4UYrIVlbzocbDZmabUAJNcWWCt9aNnyYw5lxJR1prP+LD0cChDrIy1ZQr3Pz
Zfw4BVfVi10Lql9Q4ZpcZgWaFq6QIBQNnU0IXwLYu0+VPhx4zKs=
=1P9N
-----END PGP SIGNATURE-----