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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.17-1
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.6.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 (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 fa98a28c160be3a014ca0dd32e2e4887b7f0141f 148735 coq-hammer_1.3.2+8.17.orig.tar.gz
 8910b3c98368e37e03910c41b22f1ff26139b476 2540 coq-hammer_1.3.2+8.17-1.debian.tar.xz
Checksums-Sha256:
 e71f1b8f738be3ec663dc2f28805173b12361ff955239ece9144b5f9363692d2 148735 coq-hammer_1.3.2+8.17.orig.tar.gz
 8507173dc8ef89af639e0f45784789c93cfa093d9cd72960c07a7460a9a36f1d 2540 coq-hammer_1.3.2+8.17-1.debian.tar.xz
Files:
 785033807084ee5ee1e1807a21314a47 148735 coq-hammer_1.3.2+8.17.orig.tar.gz
 d42495a6c5ecceddc9d9b9234317dc49 2540 coq-hammer_1.3.2+8.17-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVi0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiCcP/1hru/Iqxxo/y3Aeki4m8kQz+byi1V0u
V8n/YcXG9pxw/bZ5ebdXY6nsFieV+YMQ+yIkiyrycYQue83pOldbfk/5rjnWkQ9S
/ZG1u36eMrqNoNOVJUcoGLdoGUE7NwqZ3Jqb1/UgMikPs5zX4Vi7ZHw3k34Aia8g
LnBbGRaYI2AphUzoEiilIH9i4AIAUKvkK1xFPGtjCYJlU0KVmwclkwGkWmN7ViJ+
ztqB3B9hOHAsACGM/TA8SL1iVJJjWJZYgdOjW5voSONxuzZ5K0y8i8/wMezMUAtt
g2xdMg4V1wQFGFMkIpbc1I7T2qwYMCtvffm509pVqLFSGMM646tkWBswoNoYNI0y
n86ByXip5+dw3oK57c5PlxgyBpaPgEU5RKKSaP6fXrgLzB1JqbXGCN3OE9KI+6nJ
Zy8G1wyMhqKje3A41OkeLtFqWXd/7cAoMoR++LF7iMiH6FVqvAPgi/IpsXQvEfhs
WBLv6M6Zb+zxXF8aMcwv/vBF6ryrp9/rx+OHdqI2keFyZrkWjmpBNbYIcCajF8Pg
d9JNSgIxBOAcx0fwXj4hhxdGP4x3r86K7ThkGbBX78sV4N4ms9HzSuROWXL8Amol
VrSBeHWXCgXqSY0pp1ycIK7y3NYqSeZiRVv6iVbTkz6Qtye4WGNIy5dRUStkketg
eG8gbehgBVeb
=vzQ+
-----END PGP SIGNATURE-----