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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.3+9.2-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.4
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:
 c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 b9e5c6fc07499a44eef570aabf918860fbf5ec7d 2908 coq-hammer_1.3.3+9.2-2.debian.tar.xz
Checksums-Sha256:
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 5a10a8a084fe020975f6d1fd24423b81f27349447aaea9904834eaba44d2d38e 2908 coq-hammer_1.3.3+9.2-2.debian.tar.xz
Files:
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 199da2f040d97c16faf9d65cc9625801 2908 coq-hammer_1.3.3+9.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodOsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbNMD/4oggxhXZlTnG5Jn9QAdKan
nQT7nqweBOH9L6GVh7fWGVQEMAGy/MBWhS58Zp2A2oopGYto+5PnjRUhL36cPaKM
LVNSzRtGVySz7d2+qLOkab4jRcBE3cn5EjobWvOS9ykQclPspTbslM6ySns4aO4f
3DQIdEOPgP9CB50tT2DCWZphhYr15C2725XRCS7iratK3o2IxmZWkv+gxyuf0Fo+
rXjpkBNkGSot60wS3oIMBVFm28VvhaS5PqXkR8pE9taHYVQcy2E3UyxPjUmYLbq3
I2gr1tGGH1uz4sezpY9krDil+Wxt4Z66aTMIoilJ7eQUFjeKkDOebOuGJEHrTHwi
Hnooix70Qn3qUa83KuH5IdQiNsjupNQal+0+OFNKaWpKLjssANdy/SdIivcvDxYN
uv5zR+0l2da0wjGdM+bF1Uj3USslT8yQv2L0Ky5dikpUEEqK/QY0Vqni7HYv9dV2
N489HGL3HyxJC8K93sghR9GGn0RYNKJw74J2jln0AzSXvBJEyR0tifqrggK2UHGe
gvo+nFu92qSYgcq4yNuTXK4kgxUnm2wTSUCZQKy/03mnaHCUlwv0AFx6EDTqsfGH
1FXuJMYo6Q4DVBargVD/T7dEtCWig1EUdPgVvJfJmAXegnqqBqx5on6EXrKzAYit
OLfbZDGLbb5R2Q0twwmfBA==
=qjy2
-----END PGP SIGNATURE-----