-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.17-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.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
 b72702ca341a854f40ab45edd8ac79c28df9e7ee 2604 coq-hammer_1.3.2+8.17-1build1.debian.tar.xz
Checksums-Sha256:
 e71f1b8f738be3ec663dc2f28805173b12361ff955239ece9144b5f9363692d2 148735 coq-hammer_1.3.2+8.17.orig.tar.gz
 ac4be814167e74d76d32f18575450c79d2cf03ed4c010b00267689b7439a0c20 2604 coq-hammer_1.3.2+8.17-1build1.debian.tar.xz
Files:
 785033807084ee5ee1e1807a21314a47 148735 coq-hammer_1.3.2+8.17.orig.tar.gz
 64fa05aac8d4097aa54bebbb286d7024 2604 coq-hammer_1.3.2+8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAquAACgkQ808JdE6f
XdlngRAAqUa4IKB4u5Ss7w0OKhbxBHZjrZXQguwUDqO9mhmrT49GAqhP79cH0IXG
Ldpsbg+8GUAHHzFybu9VnrHUyPXUDViqQlN1OPp3h5Zzd/q2E46JJhOoOl0zyNBO
Apl1rgxeO8Vhgt3HQnZkYHBWEArhp1Offb9lbWz5sCZw4udyBMbvOXQboXKgbn6X
6wg7cFFm/67Md0voT4Gq+5Vs4Jd4Y5HK+RI9kwXwrO6yXz7v6QPiMeFEs18M+6EZ
10Tw4oRwOaPz040eiUUGzDK4g/gUIlJUWkCkaxNmpW4K8CmuvKpl4WeH4LTIIFkq
FWTf7VIWgLHnn34AT0y3NLk2ngE3BYEfZzgoQjelwlYvlQq9KJrEL3LtMtaxmUzT
uWBEiH3CsKSIl2118OH/PIzUgXDojvEwiQftAjkGVh7FDEKCEztUNpoh4uU+E6GI
48vA72xNf2+uVE/bGVyaWKKH7QT6eISVMR3GImXBdGJk8tBqW8l7XLZ+CcV2QG6z
/fJnx5gBHjTXqdiOIYFUN0QSK8o6foOfTRkN4OUMd7yldOMaxEbC7lZCCLImrk6U
eH78VePP8ccZOaJQjHLI5qQjqKjcOxqjiwwXbRXU9AL1ETbfIHANSUPM1hIvqazC
g3FweIoPL6T3hLAfXkv6pe2GXdRNmgbG0KV+fXosPj7nVLVqJJg=
=8c5K
-----END PGP SIGNATURE-----