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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1build7
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.0
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:
 a58883c54299d32040f1528ce85c01286c8b1a93 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 7276b3d1b6a4adc6002d9dcc36e224065a972d20 3048 coq-hammer_1.3.2+8.20-1build7.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 51670feb5cc26fb6c7c41dec157457a762db4552e4ca23c8564418f73c27a094 3048 coq-hammer_1.3.2+8.20-1build7.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 8b1de6de988a294699f63db804278b10 3048 coq-hammer_1.3.2+8.20-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnN/MACgkQWWH9vpxh
mAkMMBAAlBEUvHSog+qOcOtw/t51FwoYTWKcKAqojIbjc1HMBhbo0C69QbH1/bIK
WgaU0hF6rd7tw5CyZNxziR7Gdi4ezLIsH+RMnzio5lviiBt+BAVLs7mufpNG9WRm
us3gfMiX883Z7QkVmrTdn0bVxGa1tgjoJnQ8IG1L/i31yeQ0MBts/MoGmPqYtj1S
WE7EhaYddHVbeVdU/h9Zw+6vDJQ+tcaxyj3+or7jAjLOQ5vJ+OGxKkzpElmTMQBO
PF7Jua1qNSHh8v+Wf07EwgIBWTR9+K+/32KYWeXh3+G1b7fq4VAgFx2A1/xMO1II
lsfNAvHCKwZCz6o4oVByFZuBuCq8bYUdZB/Ycx+uNDmjKEmWXW8nck6pR1GsH/7/
74S1WYsbFKA0YLBnn7rABC9abL+T1Bh7f7CO2LCFSotFx6qHGIF/uU+BFmmBQvdd
OOIRkmgTMk1cmQsjIqB86BgJBav3P5MPXrwfUkHwhf6S3jezbZPyfA48VCkTTi4z
DYdgkjcVddEGkOleSd+aZ27VFkvLKdMjuix9Gxlt94gS+fuUbJMiuZ/LyR26wCaE
ZqA5jsFhn0724S34wybhxdIMFLcojyhYsYtLTqbODhm9zlKlHQkSDcd41RKpJymO
Pb3JW1IuIsF5FDqFn/W2SnsD/D3hPz1bs7r8LmBD7/6901MDZFI=
=yX9U
-----END PGP SIGNATURE-----