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

Format: 3.0 (quilt)
Source: coq-quickchick
Binary: libcoq-quickchick, quickchick
Architecture: any
Version: 2.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.7.4
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 (>= 9), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, ocaml-dune (>= 3.24.1), 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:
 e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.tar.gz
 c89b673a209839ebedc41ca80ad7ffdd39317f2c 3864 coq-quickchick_2.2.0-2.debian.tar.xz
Checksums-Sha256:
 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-quickchick_2.2.0.orig.tar.gz
 a8feec28dd6b5831c18b3e965b277f233c8cf70c21bc16000451fbcd2393d380 3864 coq-quickchick_2.2.0-2.debian.tar.xz
Files:
 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 coq-quickchick_2.2.0.orig.tar.gz
 fc7290b235865064b630994fe39b585a 3864 coq-quickchick_2.2.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppoQkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTTTD/98hRxuVqxOwBmRP7fRDFd2
Ah/LE530Z/ICOM77V8jtomO5piGxUUHKyqL/IPCObqMnkGwE/CkjM0Z4jpHl6NAX
MK46VN7iEgKRD/oLamo1evzpNweXvfx7mlyuJS/XpeA5xKmpNXnektE+n9R/6xhB
hoOr/xdT/dsd3sxtSOKkB0Pnh4VUTSLLT7bVpwp618Wf/23cCjfMo4olUmuJ11wt
Sd88Ss6bUAyniYVFYRZQr8UZ2o9Q+1JpgQwcoKhFewSjVxNFzKw354MjvF+uPXx+
6f6uOHoUZUzoSj/ELDJq1yERUFbIAOU4GY760EzAEjO8ab9TMKVp1myvclRhkSfx
URjq1fYwXXmhFOGtnLv/YStyNMGMJuDR1HU9uM86uLJpHvIwkDvOQod7qjJ6j/Ng
zdQjnE3uEnHi6aQjIJCw2gyo7W1iSG9jjBL9PBKvVt9sy7ZNu0r4/JH0no93VjHZ
3P4rkOrnkzeAR5LRUl3RNKTGf2bgkXhFcYMbN8ufX/MG8BKpNUEZac4SVmvRGIgf
8OJ/JpRAXi2ENcwM8mhSM8WFqmlok1+dfUhD1J+YNmGeAQ3UCi6uAWDVZW0/TrAb
5/ItSwAR1J0a+rtaXhX2vVyixgY+E4X80rATlQ52FHQljnR81q7j4HJcEgfEBgpl
IG4ODWSqk3N09tp4zP+NDQ==
=Mb/z
-----END PGP SIGNATURE-----