-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.5-1build4
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.7.0
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:
 7c1f89504855a4077a089b1fb64090af585ff3c8 413023 coq-quickchick_2.0.5.orig.tar.gz
 cb9e9ace5371721d14f911d83fe17541f9ede871 3036 coq-quickchick_2.0.5-1build4.debian.tar.xz
Checksums-Sha256:
 e19eaded243d12954b8b32827ce5c0d3b2a9cab4d316d97924a9861bf6f01773 413023 coq-quickchick_2.0.5.orig.tar.gz
 a09f2552b016c3633aec033e6ef9f7f1f1b30a3133c5938b6372908ac887fac7 3036 coq-quickchick_2.0.5-1build4.debian.tar.xz
Files:
 3fe1c7124122fdfd5817d8634c1e68a6 413023 coq-quickchick_2.0.5.orig.tar.gz
 62e73eeea5f570d1bf1440cf86701deb 3036 coq-quickchick_2.0.5-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmechvQACgkQ808JdE6f
XdkxqhAA26+0uopWOUiJdvFPqrtcUxnNauo21mrq30HYHdM4ymjffLyS7y1lkasp
S6UgovAhjIwAehTKngJ6wXvY1SnREPxlg0JhtreKnAe14/9bMuzVhlKiUvl9ZXad
4xuBsiN+rEd6wdpkgH3vbzQk81I3bXvNAvkz+j1Mg7CA64mwaKsRg0wXB+lu86XE
gTy5h+4LiH0kKm2k/F/3VhIpexBmnlAps/GfUMElt59kAMX8RVeUA+ORYHcUVnx3
BG4P5doUkh6uxgh+jFpnQRRIrPniKY3SwCuhhtBixc2HL2b7SI2EOh3S6ZsAu/JR
tJQJ2/hqCxZhI63GAyQnwLZL/G3YybPWKS7dU1k662+BwQo7NZy7p/k1NLWr5zVw
3kTcg/C9Rc4jedlnNaF+Y7KmMIxmFy1kiwMx46rc7YqLxzatt+E4sovcNb52mEZP
bywsRhclESerVVQrdiIKjNuatjEY6KrCVNebFI/ppL/J1GXoqr96jFnFlTwCwq7R
xeEKYZR4M55272sH/FJDnmtSRp2Q9f+zZWQduobpSwIqw3UfqM4Dcwoh2IFa8jXS
PPWbOn1MzOK/hWa6/0MwuS9mOlF3ZAivKyQXQfMl61Z6nc8A+LqS43rzhIRdRgsY
gWlcVYDvnF6TRhy3fPZeLOtNt859fN5JIIso/oYVNM4Ks0hDwn0=
=tL/+
-----END PGP SIGNATURE-----