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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.18-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.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:
 25f798685b5202f41f770f74e17f0d8e8699cb3c 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 ec264711b07e253d35faffff96b3bd83aeefa873 2584 coq-hammer_1.3.2+8.18-1.debian.tar.xz
Checksums-Sha256:
 4c619b72bed0963436eca485bfceda8448790e8cd128292385a970190c0eed6a 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 5fc0f856eba5763404958c6b7f0cec6637a6f51ba7411ea1d8a422853c9b7530 2584 coq-hammer_1.3.2+8.18-1.debian.tar.xz
Files:
 58022a87c9d0b8e5a2838733190ecd6d 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 ba492d539b5d7279278e55e97ec984db 2584 coq-hammer_1.3.2+8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESvwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRK8YP/iICfujdKnsMTxqU7IXY5t7T0S4SOk3s
olTXU3d0fVIxsDdYDCzrLS6ML8iBZynHhAMyG2FxBYWIix/IfVZH5llFA4/cKmij
zwW3GpDpGGsElZaZkHwO+Ek1Mr3wvzsLLmBtJn3ZtR9Xpg6CQqIReCtPPC2wHVYa
fBi/reQNqzAHIvQd8YHlS87179wQNUSihcLnhoIWXWl3E6Vrrgn0bCnRwhHoPTT7
3LT/3CttoO2wksgQrNciHp7Uh7uYeLVG2MqK88vtGOErV58Uk9PqjI+cJ98vmxQT
Ff58kFO2jf/j9xZE7ZQVm91XTMrQBW8f2VsUlH/ABR2KQnwGUJd22UoXFdzT97HR
W8Mvd+EF7nDn9ZIr5KEKbtP6mgxDYGxtsNVL0T7sqwxgyFUNLpaamXLZN851WRYF
lI0gGKF3W8O/OkDetA9h8oBkXlTMa5dSWovIzV8uRhraBlF5b6TyZNrJhUwDGk4r
G2PyHdd1t/aJFnR+cVfmYvpW2a8gplIkfW57Lp5UFT4a/erGpg0Uxle4Int9CdoZ
e+rLBF8PI81l53b0OCew5bAH2JZ1cZ+mmnlb9T5DumB/I5GC80uU9f3Y9pTZdEWC
7+bgMJ0NFKOyr+0rW29wk68dzsRCcDfhcvhqhgFJFSlRavfFpXkEjto+z54vYIBn
91RwtomJy22+
=0z3i
-----END PGP SIGNATURE-----