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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1build6
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
 2d5608cc7416f400528a5d7f392a44e5c2d77cfa 3000 coq-hammer_1.3.2+8.20-1build6.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 da5314f8701ebcd86f21f3847e3c32cf04fe75d6439ef92855a7996aba96c228 3000 coq-hammer_1.3.2+8.20-1build6.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 8793dcb6e43fc1b48502de77a16948e8 3000 coq-hammer_1.3.2+8.20-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s5YACgkQ808JdE6f
Xdk/DRAAw59ZtQWCyEXQLfrxhFtpHOSdHi8v2qrLSbQuU3okh693txRVhHzRKY1T
kFYDMmJxOZPmKHfJpJABihDjJgctEGJDPEWtRBu1xDx5EcyrG+bwtcG3jZmVRa1S
OJMo8IAVm6Qywpo4D/mCuFEi3kJ9VIfxDCpLL/lI57irRXbt0JIL4WZvcdN/g127
ow6Hflsv5f7Fe1DI1a2Ec8y+TJ4ogwPmUwmT522qFRj9Dv0vr0BPoc9yGGsoqIW1
6kKNd77ZDpYBF2WbqFuqXFnXsu84OG5qdmqXEy84Ab/rV/AdF8Q0jQ3g0rQMX/a4
qYtkg+lwWBrQok8OKI0JbHLG0CKQXsTV5gxNlsGzcxQ7AMYfwItLfaNWj6PVTwdq
+8Cw7MTDozByh6pdjhjRGUpY5xvaeXVMYUTsk0lfdMLTr/on4kSLXHq3isULcM4r
fZcoqyMMGOFwhkLkeh01RDNYASoEwehEH1/ypqoqgt3DTCMTgBN8kcJYmfuE5w/R
wWHjodgwsupetDCVsSAIZTM/74HA9WN1k8Ck8YEQk69DCVLy5MkjjhBa2mUQrsoZ
HM4RrHmnQE7BrTCi5JFz1ke2nS6TUO8mv/lqC00k5o6X5bai6YUhka+FZhohLyeC
88vV67+drMd6vnWy/9xJsp4i9ds0aGe4nxy+NmvRT7Q+0N3Z4fo=
=EOH4
-----END PGP SIGNATURE-----