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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+9.0-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.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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 aec3639b81dbf47886796190b8b8c30017daa1a1 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 34b9cd3735711442bcfb870920b878d95b1b2366 3156 coq-hammer_1.3.2+9.0-1.debian.tar.xz
Checksums-Sha256:
 da703c73d3888668e0810b77575126591bc2051d820732f1050bba78f4c80510 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 ab1051f8158c44d0f3206b205e1b6cb8f08b80b055698d6a4068d62e336fe8ad 3156 coq-hammer_1.3.2+9.0-1.debian.tar.xz
Files:
 354dda0300e9af3122f45087d8be4098 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 07541d95597ee1a87ce315af85dee93b 3156 coq-hammer_1.3.2+9.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBy4oZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQUiD/4p4Fmyw9tYdf7UzS1yXlT4
EG1lg6THQHb+/ZTwR4OwSYmVXPiQYZt1hDF1a6n2grQ/pMjM8Jn+UH/s+merQqsA
2OQ0CnupTY/4M0nQvZekIFonl8tEGhh+yfNKknZ5W0N9CTvMt6Jz6rO6kQbacyHB
PFjeKR+MoG6OyIhEVqOQGDkW2rNBHpW5svrBnXt49u3z2+mbpIy8iXhpSuXu9eFf
LOuUQtTIE5drAhtJ5dzb4FoKM6PY/L89LX3OTj6jnF5lzptLwEJtoEfSqnDB25nG
JLCrKeWxgcTb0xrVdM/xE/tzldOA/AOeoICmpCFQ76Pgn0+S0XNv+ZOCZ32FAtI/
r/W+UHyJlHNjBY9pH+ZypAxyFYdKg7/IwnSM2CF3Spo7rfPMizY1araJUZWxwp4x
KWLxivs2ZTkr28jYrcN+XYvUZpOelipNl+mcWRKEXqHdImw0MmH+zuBqnjJOPqjV
89Ho5hN5zC6aSIf9KbufA7E0ojK7c5BWyC09DJLi+sy3M8ikqatKk2maC9blGEi7
njQ/YbY89bckV+3zexlFSjeiau56ICoN2OkT3SWcXTpYjjbS5GIomCQDz+3F5P/z
EknDbJxGVGwrnL2uyovLbMk/zpjSacnGLXqtGhH6421VlYi1BllVIVtt4AB4c12m
mrgLZgl0C3R1dbN9MevG4Q==
=HgP7
-----END PGP SIGNATURE-----