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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0-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:
 685dcb58004c6a9c2b5975ebf4c9abf049b00e1b 409785 coq-quickchick_2.0.orig.tar.gz
 45af7a19db27ae4def3876960864445205cd6480 2900 coq-quickchick_2.0-2.debian.tar.xz
Checksums-Sha256:
 59406ffb8c437284d50dbd470cfa57ed8bd19fc65c647703e9a59620026d567b 409785 coq-quickchick_2.0.orig.tar.gz
 6d2532b7b97a09404f642605ee7e1bb56adfc1ec69f8232136a61ff248845ca6 2900 coq-quickchick_2.0-2.debian.tar.xz
Files:
 005934b91b7f2861c8c1c69a516f06e2 409785 coq-quickchick_2.0.orig.tar.gz
 f0f9fcaec933c416f4df664968e2db51 2900 coq-quickchick_2.0-2.debian.tar.xz
Dgit: ea8c2466e50908a4c3243bf762d26f7f3e7a49fc debian archive/debian/2.0-2 https://git.dgit.debian.org/coq-quickchick

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSua2ESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB8HMH/2k4Hug0Kv2GlBVZOV7Km7qfMzqM1biT
6o+tKNB/prcnczXLMZIteWswpGv7FbhI0R5QKjgRzIcLrLlDC3rlvtCBw0ulbyTc
zUczu4+NI17zrV0b3tUhYi0kb4thucE13/GAMJeqx8CYRng1olnTOsJvHM0IQdkc
51nf/X3i+aRHsNDH3l5txqfhxHkjA6qHOQ9VZafRZtgELhRlIL+kIWLptePIHS1D
5JigdY3bf8EOcJHYxTM+EQwwqRmTroyB3wjMY+1zDe5uiiJ3/ti1RvCSQ8ugr1m7
WuTlRQByxkcLydF3sPuApOR6cB0gUx0qPormcNqM1vmCBZcBelMZWTc=
=dpB7
-----END PGP SIGNATURE-----