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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1build8
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.0
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:
 a58883c54299d32040f1528ce85c01286c8b1a93 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 ab361cdbcee63e1b34316bbb87d4442200d3275c 3072 coq-hammer_1.3.2+8.20-1build8.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 911c8429014cf66dfe5f8baf1a83322cdcb75b45a9564285cfdda14e20daad07 3072 coq-hammer_1.3.2+8.20-1build8.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 cc28a1508bb8972ab8bdca1ba443ccda 3072 coq-hammer_1.3.2+8.20-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYaYACgkQ808JdE6f
XdkKQRAAnihIjpBwlC65Zw5EB4hk+dF/6dtvVUsQ4JwqQ1vTvg+NCnjzKmqhGaX0
mOrWXWa60AHUPOoPuIr20neoHoDtqpTdNlb1OaAWKybja1CymmkbzFUXHrMZ4dhR
laZlq0oqQcY2Cp7Y20E5MT7VcNuGd5B6025GaCqa9ADFhw4cPWoxdA9CiYj+rUcS
KHIdlolnKpJukpyXZnlzCAMaS2mlCyMTuiepXy/AlOGbUrPw9rvc2JuJ/Sj49IKX
5x0hbEhe5hqf/Kn6JGWtYuobTEvN4/IMZqveDx9BrJTtxylvlRGx0ehr8AADSYd3
DG6+1odKwt0M6MmUlqdT5dY+FmfShcMNjFHH2NcYcXxDRYjCtC7UjJrpXm2Qehbe
lmpdXPo+01HW3O5XbDFntKlDyvcqlis5U5oCZWYOZLAI+JJnJ7IHM7GbbKorqvNl
/pdA3bzus+P4f/eeOtB7qriiL2fHSKP7Fq5AjVkfx5DktOYTU2Oa1AxfUXp5+qC2
2pkNlnWNHyMJsJ9O3sC72sD2+gyX0Ajij1M5Wvj65aNCtA251/3N4NONqHfdgEpb
crY1bn8aGsvbdattDvFanqA7k+x+Wy5DXwdptadCcphBlxNKjtddoZCzQ8tOoFrW
TuarAExxZgk+w9RhyyBVDMqTj2nY7kbm5MwY+a5TxE4Jq4756Hw=
=GyNF
-----END PGP SIGNATURE-----