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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1build1
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
 5e157e7e14a722e3029989d3353ba603ce27d6f6 2816 coq-hammer_1.3.2+8.20-1build1.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 1b527dd03bb318c0abb8d392814c72df7b6fad5538b73643c78ef4134969d9bd 2816 coq-hammer_1.3.2+8.20-1build1.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 673f0783f711a8ed39cf10b16eadafc3 2816 coq-hammer_1.3.2+8.20-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeexwkACgkQ5mx3Wuv+
bH2uoQ//f/AyQZMNnmRPYAWE0/teEKiT+VoynXTo6SxwpQbKCqAb1tkGZWWlqIe+
VDY+PlNHwCdxsXkiJX3unPaAuxjLX3Rysz21/29VkVkBqUlodz6P+R5/ppnYbN5W
lndYG/yKRP3lNcmnaEJMx/BjqOHNin/GvOaiZjIQ8cjtCzAun6Sqg4e4l8eTCJN1
l7DfhlCSS7iRUcWFeMurYo31zuaNc9CLy6in4zPD8M8/gtnGCaHzBJUhYlDuA3/2
++i+9IpbQj4NoBsZozJgTO1erVdsaZt3j8AEiCtS0PZvchlDGsnIc5UUSEJhfDdB
T0+66DA7x3c00cqYvWHDYNMKu1H2X0++HzH9NyrCcn9OUfRA7vC2TOmen/cwWF+3
qXOQlFoiO5/1DGH2wXUmPoGjXB9IPf114W2zw+0steLo6vnlE3MrzMtWbsd/YCpj
8eOzZHK8X6ubEGrMY7O//V/nDK69tGOXm+X0VjzslVM1jlwIK/bbqSFiVtZkMpUW
TuWGQvtMJEIZMjRDdbMC20GBKlGp6cP3ByOX9jCxkxophe9abVwC22c6gedDkObs
mX957lwi4lgd2Je7NTQ6n6ZRRzueBfXvXb6EVygtiJN7x96NpotB+YbFkqrc6Qcu
uytFTKkr6wtM7/FT/yX+ZtdKrhxcViMHLnK4rG4tQYLhtRgdKwc=
=wD0H
-----END PGP SIGNATURE-----