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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.5-1build3
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
 c07a6880bd6885fa995fcd5124baebfed23f5800 3016 coq-quickchick_2.0.5-1build3.debian.tar.xz
Checksums-Sha256:
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 36a1fbc52d75e61cf2c502544d69f8d98cb8d26e0ed3c91bafa8638264b4ea34 3016 coq-quickchick_2.0.5-1build3.debian.tar.xz
Files:
 3fe1c7124122fdfd5817d8634c1e68a6 413023 coq-quickchick_2.0.5.orig.tar.gz
 e98533382f437fca9f06dcfc3cf96f3f 3016 coq-quickchick_2.0.5-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeSAP8ACgkQ808JdE6f
XdmJwQ//ZjoIp+q2C1hQWwt3qE90ctHDt1OpM/U77vmdpONiT4PO9JGRMfat5JTk
AhDAC355lX89HHA3Lltvc/dgLeO4rbFtgD/vm30l6Epub/iG5mej5w28Ku4HCOCW
AAG9v3eYaGyMJ4ro1O/Y+GBFc+LTuUmMaXuTKDiwtPm361Q1umiF2Z+Hlm768ljY
ggqYhnNvhpSASwo55MOVy3Bxu31+mcHR2hHnQIJ9+Mna6myb6JJw6VpXGjgv5NRY
LZzrs8ARF2cBvnZO0q6frCv2/9pchvpwiUN1EUG1HiAwm0NYWpjhkRbcrCaJPdlm
IZYF5DDgYcSkPUjQHl74FDzTWNah0LNJQFteQSUvZ3qi9rW+d3PRPElCh8ThtxjY
jLU5jS7hadGN5b479ISQPp7hat2WkEoW39jmmdLDfnsyQjRzkxPwSRSDeRmDKbs7
lJ7hx8RyQodFCct7NVz1eepeOa7WcdmWf0m/+RMSi4WuLO7ZlGiIHFCskLq+d0LN
oXaSkhCJxZqs8gdwj+QYcFaF9wkXKYFjUMRxhZnWnZpW+X7c0oDMT81tpdxYiQZ/
k3FWY1/re9yYDXN+TrFvSzZOVD5iTzfVf1H/XWGck+EhGXKkowZ9oeC9mXh0UzBQ
vIAdCx1AUQVXnPXEfEV52Ydr1RlUlfedXCLF+OkdM53WXyQoCwM=
=rgGM
-----END PGP SIGNATURE-----