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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.19-2build3
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:
 49378eadfffd8a6f6683a25ce6c45d9f3ab03423 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 14e8ba7ea74ddbd8ee00be13bd087957779e64e9 2864 coq-hammer_1.3.2+8.19-2build3.debian.tar.xz
Checksums-Sha256:
 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 cb369fd4f9ac01a7fbdcbee98f38d587e62416b2795f4a870fd7355f49b06b44 2864 coq-hammer_1.3.2+8.19-2build3.debian.tar.xz
Files:
 d8b4c08209b8f71113dd5a8fd262ffd0 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 8599f9b5643175f5514106b7a75a183a 2864 coq-hammer_1.3.2+8.19-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZKEACgkQLIPbyOm9
Djfz0g/+I6Ysz/+YNjyD9NSnFtIyJgpBud4q/lOjcoDJof375Yvcb2ugkRc6Mi3k
xH2J3KOHa3KCNavqNPQpAvGFjlgNJVqbeYKE2UHmFojb0D8KSDxfZUuKUUtkE73V
g61vUZEqb/lUaQFtBASDPQb0yDe86m+W92VF3yY0NMP6Hj0YP79Zt2amaOThmZVA
dmW8UCPxFvweILC7r4lIKJFM6G02qqzeYuF57wrOWr9Ty7bW+F/qIMruGy7C0Yw9
J8pokQWt7d+n4sKXdmv4Bc1B4EcvFSzuZtJH8oTK0vn0fHJ2/e+c/2fa50DB08OD
o+teqtH5GwRBisAc3EDw021o413+AktGQ0d94lHqfpt5STcJUd4IFj8CDkgwgJ6C
b+BnKPObH9LhkxN/yW4AqUyYtwzpvlfKhfiO5gI5xXU8B8OcAZfecgtyOsMc6e68
yWvTB22caEzkHh+k+p1lengzlznCDcvLl/+fYyTqfFoAcqTrQKhk661g95aeUzwB
jFg1jI7fDuX0M760jzak/lei+axGrDbRNUoaTztwoGU0TUzLN9gBMBLcL/5/SWJ/
mLf0X8oxcxz3ZSDVJf6KY05Ocaplsez5/C/sMRz/2LaW6Zsjaxe29OF958p83pQM
p6BWS3cEBnzd/U7tKnZkcnmF4ua4cIVEHtsKdDWmj84ZdfmNBJw=
=0oZ0
-----END PGP SIGNATURE-----