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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-2
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
 5a82afdae6a7008f86127dccc836cfe4a134d172 2792 coq-quickchick_2.0.3-2.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 131a5632b5fd87b3327e3d1ebd141448a71782542dbc92e874d79f57baf504c6 2792 coq-quickchick_2.0.3-2.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 36728e6534ecf1ce6f9ce19d57ad74a5 2792 coq-quickchick_2.0.3-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYxW4sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDecP/3/ZB4coDoQhe+CW6pTBXHosLQg4e3g2
v+jK1Vr/+zlFU1T45aiRnicBuKEVH1ZNB7vhe46a/m/5g3c+W2EKLZ74a8wC5Vgd
k48C5M6X6DckB4wNhRj/zESmVz+py+xtulf+lscEibzc0VAI7tXQ7oMGIu0dMj8g
rxMnWG1Uv4s9jLqp6VdtJodLDf5uC8XLxm1maarLcIju7lYm9GgofpgW4j8sMHhT
IV4TRib14jioAlOHPDgv5dejhSmIX23sCmrRzSWQQHjn7DdlfDgJ/6QxrVQ9Ywqk
lza7rBlktgdUOZOiRZ1nuCc15R4O98CVnp6MccBXh46+9iOZeNH/6L5z93TSLNgV
tUa0vf3/yQpaNhMfuP8nSgyWYl57AoMCRfNZE8B8QnIvXyFRczCcydsdaAonpNou
go1QqBmZ/ry+FMwAdRVPCg80L3rHfg551P16SkAOLVJpwAwEW+SDq0kgL+alWS7g
XWL4+hdUTbyIOUr3k4e/SOFgl+NMloRSSMz6wFd8ibK7sHe6249oDyTc9hnSuzYl
6XCaKDIzBjBA/TbEpywZIlut5jUgyRlBy7uEPUTgkjwwJQTm4UOU5Gg+QqnyuxWo
k3fPZAIN4G8olNRfNx+hL49DwX2sq9SyiKPn2mLosl5uTeW0CQIXuL17UG2lzi5u
L0tnqjLepl6f
=lfDb
-----END PGP SIGNATURE-----