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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 1.6.3-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.1
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-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:
 fc1daff38c1090df5d0bc818bb0f01595ba1cb12 388838 coq-quickchick_1.6.3.orig.tar.gz
 92d781ee960671d3ccb1f1a0dbea8fec1860ab83 2572 coq-quickchick_1.6.3-1.debian.tar.xz
Checksums-Sha256:
 1aa7c278a1cb26435f4227bea56e64dc8310e40b1824ba885ae8fd3b60eb6f0e 388838 coq-quickchick_1.6.3.orig.tar.gz
 6ed2379034b2049c401816ff0da3aeed99d1fc9ca66af7d444541b6e58091196 2572 coq-quickchick_1.6.3-1.debian.tar.xz
Files:
 badebd9f0ac9b678b86fce99e91d5305 388838 coq-quickchick_1.6.3.orig.tar.gz
 7bfb407cb31391595e0f3ed5f95a1695 2572 coq-quickchick_1.6.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLR7E4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0xoP/1eD2iLdHfR1EA4F/HVtZHwDP2bzzWPj
96lfY8R/lk8mzQN6Zb1BdafelQzMvde4yTRZnCaDSbW7qiR5b8fUZOlbfKHImCcs
cbKfY8mymcuwbuAVTYy8rNz4i01gm83gUIy7JQoktJ0I8u+XBmDjzaRqUMEVoKXX
AuOFq3uIXxgw+tMSTnl8cMCIZtyxl6IRhLTYvjyIYI/Fe5Fp8CY9KLNEUxEpYPwE
6+TgCz2laULKRjpFM2pRkihpVsnNoAjOnTJUW1PFDKSryNPElbTbBHPZey25yevl
PWbE6tHMCd9Fk74o+lW/TpdKhsRlpv7mNPAU/MyWHredSHQlBRcE7phUJWZK4Wi0
UJr1UI6haqXdcf7blCh0GshES3UREMtW/D8ccw4iD/qf97wfEX8RV8svs4lfKkQc
a+8MtEwBnHnLzM5FsEYlRsexUN96zILOlBqQyErcCpkN96Z45o0nRr+SIcOWN/zM
OKKfrfz1yYzCeSdI8pWXoxCATGYv5iA6QHqkJ4QkLlrbKhNPVuum7/0WqrPDC9CV
94TyzxbEGV4icZg9glTjbP2RPndz1TJ2uP2TW/7ttmuC0fEAfNoJAV15uPx8c50G
NK9IZxs3JMTTaPlm75v//3PjxNQ0GpV+btjg6cfy9ute9RYOjUrEKeSabpg6//xg
PjDaipDKL2dN
=niks
-----END PGP SIGNATURE-----