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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+9.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/lukaszcz/coqhammer
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hammer
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hammer.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 aec3639b81dbf47886796190b8b8c30017daa1a1 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 45c0c9e1cf965c6522ff54253973577346d8a26f 3196 coq-hammer_1.3.2+9.0-2.debian.tar.xz
Checksums-Sha256:
 da703c73d3888668e0810b77575126591bc2051d820732f1050bba78f4c80510 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 c7c697329f17f27f6dea3608eca922e0bceebea37003ef98b39d33da9c56aec6 3196 coq-hammer_1.3.2+9.0-2.debian.tar.xz
Files:
 354dda0300e9af3122f45087d8be4098 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 2118875f5740a5b04fa01b6b69d0ac0d 3196 coq-hammer_1.3.2+9.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcpoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUv8EACECBgSTruQVf7TY9UZ/6ln
Ya/CpBTJ3uu47qGJP3RdcyVFYOVvNrH/JiR4UH6FFgy40tn5oEst1v5BliikGR8U
F/FQNfgv9pFhLMYQE01SKwI9iIkcOiLXCcyysgcOmy/Y0BTKvP2TV22Tb9olu36j
XmGRnkelUFX1vaY3rEcPsrPGKnF5Fg+aAujZNYL8Khp3CuqKAncXLZ4Oeq/DjoLB
y3lprEawvyaSCD3P4RrlcSVRKcRoYMfzhGvO1YqA3Naygl64RfqRTuw7ddQqcEyR
yV/gkqmc9nY7t/QK++LQ8L80CeivKrnM5pf6IcBAA6k2KO5wbBhtvvZGk0yasRWc
vaoMz2vjb7Zp+qUzYsRmbkc4TEmsHSj/7eObBWkSYkiBpGKHk9R4xOIBZrv2mE2m
o4qNOx+Gp8OD6ZpTaYiSkbWOhfL4eqti+9gYDTJzGHWOfV7tl+43vo6f9GmdILpn
Jyi/JLwAONFIbUpmzI/B2JgZidKcLxL9inoW8Y+M3i8TemnwnmWU7vN/ap2vUVbE
gN0vij1dVTIGUAXilh+jHvt6cmHl2fjSBhZt7rEAwlnXRgAKFZgTZtG/opnqDOXh
TPr5GzyqnqVGg8ca01cvnHcMQs7fniNAh5ESSHlKblHx749m46Qo2cmM8J9a2CNF
mNLAFBmXwrK8M3cTbsqtHg==
=u8CZ
-----END PGP SIGNATURE-----