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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.3+9.2-2build4
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
 8781cfcb70aa1795fec9f1e78734adb41dc0aa25 3020 coq-hammer_1.3.3+9.2-2build4.debian.tar.xz
Checksums-Sha256:
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 3cf186a6ee20ab61ac008aea6cea6e2ce07a3ca9707f3ca34d554c1b8729b1ff 3020 coq-hammer_1.3.3+9.2-2build4.debian.tar.xz
Files:
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 8f7b3330c4aef17e62e80704903045c9 3020 coq-hammer_1.3.3+9.2-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVMwACgkQ808JdE6f
XdlEthAAz9wrtEpYfEInTC7O5pLhCcpNa/yrA6ziYpLmbbCzOqEv15aKwB6+SiuV
1mW6YYaxIFpfPfHh7d7SHr7gh0CgOT6yBGsggw9YviYa9ULCPDIAjKhlUiTuf1ph
N4h9tmKO9VgBtu8wnxJC1YoBNaLS3cJ1fHv69elrGlZ/UQZ+YKANzT8okY0iyY2y
sEAsA75D9mimFA/eiiP8CvI6zu7ckogGwtvQKFhAEksKOGNwzMiq2Xy7JfqsKO/R
YrKeDXvY/dPQm674DUqnVkCX2pXhEoY8AdZ4N1SCZbbDy5cb0tj5hnL0CXz56L2y
t6pIszKnwq3XhDTmlRL/ea/Y/TZbH9y3/UUdZ5awSk5MwT5ayaMvBcrYlG2X25gR
y1Jc0CWaGhZYaxIWpQCmiTiNIMnLdtnDK1zHN4ZOyl1pVzR5iqweoXj0qmpxavxj
wBhGzpJb7KdOy33Xr7mvv0wLrzSBYSMs7dj8+WNCRS0aI9TAxp0nW9UFJlAJ4fx6
Y4VaGayYUBth+2HR+zugAdh6AvOPNAFHzL3HJgNkQTv56fXtv1PFjAHbKX91OHTq
odaprces7AF3wu/rHiwt7Yhmj+R0jMcpUYAo6N+X/QZVktTIFBlUi8SrHb+ju6g+
jULhxVHU8txcjOzLC9ZHV6V3RGivduO3wjoJI7mdTB+eJHD5z4A=
=xbi1
-----END PGP SIGNATURE-----