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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.1.0-1build1
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:
 d4017bd8f3ee611d56d5f8c18fefe88515699e47 414544 coq-quickchick_2.1.0.orig.tar.gz
 938b5bcdb29eacda2ca0cef10969b147390f22f9 2976 coq-quickchick_2.1.0-1build1.debian.tar.xz
Checksums-Sha256:
 d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e 414544 coq-quickchick_2.1.0.orig.tar.gz
 a1c9daedfa977fe873cb529374d6610e4ade11f90ee84f47e3ccd45d920a2901 2976 coq-quickchick_2.1.0-1build1.debian.tar.xz
Files:
 a24d9ba0f1bdbc8f7daa9680e63281c8 414544 coq-quickchick_2.1.0.orig.tar.gz
 6a61ebd8631fcd9bb84e09a58efd241d 2976 coq-quickchick_2.1.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgclI4ACgkQ5mx3Wuv+
bH0rnQ//fWJ6WuRXgwzn7Ni2hL6CkB8AWM8T/gaPZ9U2B9HJguEEKQsyjPYVRwJD
loDboiujhFYNSlpjtXH+oiEt2Hw1d/oRzcBzSRQ4dxuyisRDOg3TqJBgohhKUvaM
9VgFGcBXAYyde9T2U/FsAPAghUTASoziW4N5Vg5tT0oIswLn6cdoXp4oxe2T+Y0M
5xeex+ZR9Jl9xyprFnGEWIwFiH08QZevcqNxWYCaRtIdAHn+pkK3taceWFn8cDpD
V+53OnBuV8vkvt17lTcYdHRP02icI9EXQY+tVeNovBB4GMxV6/c95BkXSPwMcwn8
0zTV8M0VY4sUeIXsHpEdEqAxFjLh7cT0zC7scMesgeVY3wWJC+XvvhNaNKC4PMCn
MuXj3jJ4dDWePQPrbPd3e6sU5r/18hx6jTQQ0unimlAwqOIyaRuKJCALOHINsdkU
KCwVMzrkElYnLoVh/+DR9SDHh8xnq0rRIRVJ9bw3BM7UR3xRCFZWDhDMKPD5O+D/
yhF8PENu8mz2Mi20lNQVVqUhCpEPwmNifhMurTiNB5/xpTIs/g7AXxbbPmOhdt6d
kN6wW/gHcdUAGFo/LwdGK4sm5K8SPX1pridfIvoWU2aKMFejLQUgxDmmQDu67Cf3
vLLYpwMNPFoYWudWIGyo/ZE68O3I/6jXZJ6rIhCOnVaZHuVkr0A=
=NMTJ
-----END PGP SIGNATURE-----