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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-3build6
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
 04c45b6d1ea6fdff29760e025ba5e3b4184882fa 3036 coq-quickchick_2.0.3-3build6.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 e8781ef0b4d810c611184da14e9d7e3de60280048475e7601f845e2f8689e768 3036 coq-quickchick_2.0.3-3build6.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 c3cc97742572062261e4f3706890b4b8 3036 coq-quickchick_2.0.3-3build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc9rxoACgkQLIPbyOm9
DjeEiQ/+O73vNQsUNk1+Jh3eK4LkSIBAWgLmja8trzjpZ1A/FIe1KxsCKUUYQW59
eOQ7AT6xVFPYos0+sqDZG8Is4WL5M+DnOHHFvjP28i3FO8yv2+QoYxJ11mVsXcN/
D46yy8NJQKCcIR13K2HFxbVaQiWCQ+M5vUdeeO9aZqgjUj/2esazHZDDr/ViRVOB
PFd3CpujuWBVopiRKW14ymY6D3lqVTH0Vo9E9Zdyn1R64FtyYUVZvJpfnO3SF8g8
KXLiYJ3gBykQMrAS5MTaRAtmJ0CZDuIR0teBENZwLtz2ut36Jvr1tUj2l1AGoIzq
E2HMFTvUYGu/tC4j78Y7Yh0amdzmcb1vBmgrTKCo2xhWIK8xLPEZus158o92R/Ne
q+4jvG1ntLIuxskB6lw24BY7NzLtdo9FWyEi4WVOukBjMZMjLTXaWyfQ8mSgfICi
+mwD9m3LBLuGVNdETkk3bJaAF+dZhfw/KYU7HyjGc9eYBPl2ulF7/7zFdVJVEJIe
Y6wwr13hsCDtsawQ8Eff0nK3IHP6bbnqrQ8DVo6bEH1TAE2UfdBUTCScLfGcNnEt
B6/aVjcjyQ0ty4tPB5/O6rlxGUBayxJnJ7X9vrrpHFa12S36yI5Ncoze38wXkk1o
uQAkTfXg0qqtdCwx8Xmy4/0dt/z9021wcEdW+/pajFoOnkVTUJM=
=IqK4
-----END PGP SIGNATURE-----