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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.0.3-2build3
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
 1c0179b00b7b39bcfe8d39da77e0e855a823e5c2 2884 coq-quickchick_2.0.3-2build3.debian.tar.xz
Checksums-Sha256:
 e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
 c5c580761f845243373c6e8c5cf0c151090a84bdd81dc427f187f9d268c63197 2884 coq-quickchick_2.0.3-2build3.debian.tar.xz
Files:
 66aadddf04ba9956be7ae8348acc2fa3 411625 coq-quickchick_2.0.3.orig.tar.gz
 4706d4fd92558a0dafa6c67642c390d3 2884 coq-quickchick_2.0.3-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZEYxYACgkQ808JdE6f
XdmU6g/+LChFZHJg+ds/wbFwVI+u6yWLRMrc38alJw0YTTtNNEPwxUeMWq0HxZ73
uMGLAsUfQVLha5Kf0FZS8cWXIsiW2Z2uIheqL6geSEI+dbirM1K95iIl/pq4l1yy
PFrYZoGWJK54HX6fusE58w86KVV+6jOaBWr7dcOjmckJLmJZRvJ77tUEh/0uk+x0
/qjOnk3GD/XQctnnTFsP5lMNI8W2ZgithjAzzbQmrBPngct+RlEY7GYZ4VBlmeM4
iHokhxyydH41NQvEHz43zUpFMmRg4NiQ5MY5abgifu0TAFw5aZ4BDXflbETuBe5v
kVIGDJi8JkPKahZCnmik8emyBW/X1AbXlwpbH2IN7YNFn+XZDXaFOCQ4yUeVc8sV
tnqwy8ttemwmr7EZEoPxWBxKWlNuT8nG8Gr2hR51dJ3GOHf1Hw5iQveugba+WVqB
A6pCSdE4qso4PDxRVaa4gXkZa78aCdEhx3T5T4dTIMEoJWNqdnHlTFloQ4roehkB
ppZfnbnTem5/SNrvKiR4tCQqgb7otmnfZOZCi9OJTP16/CBYzxpyhf3jrRAkyLC6
b1LfoclG9Wt4L9q1wB2/tkdr86jZbEkdCmeALqlEiXwSQhSAJA2BvyLJ55j0flxb
2LpZ4hhLwaaxcCmko/G6KT81DtONTjOIfdHgcBfBLTx8Z7PZXKc=
=ekwE
-----END PGP SIGNATURE-----