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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0-1
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/quickchick
Vcs-Git: https://salsa.debian.org/ocaml-team/quickchick.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-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:
 685dcb58004c6a9c2b5975ebf4c9abf049b00e1b 409785 coq-quickchick_2.0.orig.tar.gz
 3a7889a938c059ace5f3a3d038b129b72e6114b8 2848 coq-quickchick_2.0-1.debian.tar.xz
Checksums-Sha256:
 59406ffb8c437284d50dbd470cfa57ed8bd19fc65c647703e9a59620026d567b 409785 coq-quickchick_2.0.orig.tar.gz
 9093cbd62e931f2da362e2be86ba6094200525c5ac6fd9e2734a47fdc11d8a58 2848 coq-quickchick_2.0-1.debian.tar.xz
Files:
 005934b91b7f2861c8c1c69a516f06e2 409785 coq-quickchick_2.0.orig.tar.gz
 cafe45cec12565536abb9c1eeb05669c 2848 coq-quickchick_2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxJESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVm4P/ipgfGaHXEmZNrKWnhLeBijKP55DWU4p
Avr63gkPFcVV0Ct2gNoa5hGxpbakh4Dp3RQz9yWwadGswKwSAQYIYk+HHmMb+h0m
LdAaKmOOaJsvU2NwcWz5xA/X0PRSNvQjnIsLHrXYXUriQ4wEhopgoc9vPwnfEgkj
L0kbM+c84JfErVog8ZDz91p5YnKzKe0eXJ8isb/9O12oqaVZcukzJ3Ljuh2XxKms
cBWEbJmdU2EFCZGAkhIHnMT2qxxaN+XUXYO12OIWVlHPjQ8MxKoH3aO9x5fAU68y
0ocN7Cy7b2R8hpipS9XPE4PXxr4+WP7SKNzSFOlPfShWvmgBeiv4ITsTnaoEelCY
hojtJcD9pK7ro0OA98NwOKCqPVLwskOtnPNoIrY2fbBOHKLa3QBwnnhUCpCZ3YYo
lrDOXB/w6vV1NHWrXCkP1/IKAitQnCnIrXDlc0gChvknk6f85uQ+QNqZ7DB2ewyk
QgPSnQCLb9gOOIFITIspuRDLCkS5KzW+ur0cp5DM9QoBgcPcz1XvQOn2yNIf54d4
4kaV63rHn6SEkM/LC1EmyZaawrH6clsG8PDO8xyxuaSQeSwCuz2pv71rOuB6nR0w
tyT8JsnjBglWIZAyVve3skUzLQeTER7ZcCJdCpdBRk2V+97uZPRcex26bhO2V4CJ
DOiq7D+aKxol
=/QL8
-----END PGP SIGNATURE-----