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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-3build3
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
 0d2b54f9ac94de67c7368a4d62acc9ec5cd9fb51 2984 coq-quickchick_2.0.3-3build3.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 914859288208eeac4f529aae0ebdf09ec533ed218c23b9e8a3b867f0b97ad0b3 2984 coq-quickchick_2.0.3-3build3.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 d6ab4f174a92a2eb28c89a4749d06bfa 2984 coq-quickchick_2.0.3-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbdD50ACgkQLIPbyOm9
Djcpmg//d4TLJeY8IE0lxNtSdOqk2GTvOyt2ZJFSeUce7UMNpUWu7AZaNz0YkP6i
/PTrSvoMkf31VEkcb/lZBGgRizvWA2G2iCv5ruiyA4XZ+OWQG3gIBUTL9ZCjq8ST
/qs8hmPqbQysMNcn/SMhx1GZb65D4IaYulC2x0YX64Tzx61P7vUKy8MPeHyGgj37
cgFOaPK+LwIuaugLAsj9Gm7hnPa0mroWlY/1UPsi/ZX+kBCd4sTucE0KHtyqFUZk
ly/GHO2PEyNhDAuGxUyT2IH7GcbW4FSxbC0XnFQPJFVymo/vfHPTZC4AorI4Yv4B
TvEBG0k1ftGpbAj7cT4CWQF7chWAdSL0Lx51egPewc3Nah3r22ocaUHHueNHK8Sa
Qbdiqb/lAU+jQjro8zAQMLd3HFFJmMdSx30Diyruk24teIaNW1QZlF3hjIdGiUCE
oGUCuDt3/JUyVG4yKB58XODDMJ6/DozrMOC8OM5CqeVHjWwP4sDh0dKRd0/LiUPK
EMvAPKerbRd2DqoV+YIVg+GsSl0E8QTyimFtg/biUfIVXIlP2t2g4v6yxrKPIKFR
5I2vEjt0lHQhTX6R/Wr2NMeGa5Kxb/1jEjkSpQmvvxAoa0nxsMLJJH7VXesXyfkf
wEn8E9dvRLq8U/tfLAZDGUdt/uRQBRZitcdmgUCmZFqOrt3SaMM=
=dxQ0
-----END PGP SIGNATURE-----