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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.3+9.2-1
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
 8c43922899ca89ec36ffbf59ce4cf3558e1db5ac 2880 coq-hammer_1.3.3+9.2-1.debian.tar.xz
Checksums-Sha256:
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 65a114dd89710d2d41326714a2ffe8657a2c08be554dbc069d2753cb2e709abd 2880 coq-hammer_1.3.3+9.2-1.debian.tar.xz
Files:
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 8b14a6626736a1378e487afda584991c 2880 coq-hammer_1.3.3+9.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRAVkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXECEACUGccBHSNEKGPsmIh+PdXh
5nEYzhqAvmg652xKbTtPwWIlR1g3pSPGhK+hnpiiu+1nKijig6nb7zJ5yKGQ+n5N
kRBe2uSFQQE13GPnHj+0VItFm9KGlk1QYvaMtN7xluGxyB+kuL7Scc0Y52Zd5Mxe
QpcAheY5fJbIlagJ2C7/OwmF8lBVH0Ex+cN8ctqzHTQB8H+Ic7Rtjq4+d8R8UOV8
fGGHbs5KpWGSCKUfPLPgarZSAaNRa6ikAPse1LUAGvEDF9NAlA4btdM9vZ7KM+DW
8YmfEXPkgk7uRp4d6dxeRT0vPx6oh2+BE522KbHEeDlQwWhZNYPzWq5TEpgT0Lsw
Vo0VsmJfvVKJ87d4d1BNYPlPsLvBl3vOeJBdPjDxtItBnJexp92mwHWSQAr0j73W
7RPAqj1vqYiSYXIvRLsU5IiI7p24wMJuk55bjCZB3FwXzUBWF3G4rLxHIt/Jp0uh
eMxpwhwCd5NlcR+5BnnpJeiP9C9f5lY6O+l/dfI9LQSJbGYl+O0BwDWjMYvx4j+j
cHND1qrsZzltEpeCg9/ssea5h7CShhzpeVutPkbC78QFNbQSoaGaH98yxTN7HHRp
y3fCyiUFZCqBBa1n6piXNVJJnVT353Kke1tQOoB8WzAJPmjxirSzYVKOoGFbXtRv
2eBmtidwtYiQbpR3Yza/oA==
=KfsX
-----END PGP SIGNATURE-----