-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.16-1build2
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 be07a140beea9df4bb73544784218d1e7e383fea 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 f083c760c237183d407a84f7a9c5c1231aebac3f 2352 coq-hammer_1.3.2+8.16-1build2.debian.tar.xz
Checksums-Sha256:
 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 59454dcb20b352604e241b48084e563ce81200379a098ec1c57748c5921af6df 2352 coq-hammer_1.3.2+8.16-1build2.debian.tar.xz
Files:
 d3d759c01cbba8a4f156661fadc963e5 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 dabbc99de5ad9e38576fea448a7176ce 2352 coq-hammer_1.3.2+8.16-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBWQACgkQ808JdE6f
Xdk9aBAAx1Qgts3Nlekq3zqneXT7ViOPg+duheH67xP7i3OUp3+5rekQNmkYe27C
zsoC94lHLCGIRfEFtUK8OV2gedHTaRqc+aTyXcfUUT+aFaZqndKSGJo/hs5b2dBX
NmyjNJ0bRnMb2MiAs7nyJ6yMgIQ4VGJpSpKBwhWBfQDFuCXGO0GvsLPjK+U2Wz+N
8QQXQsp6DtCC+9qQf/jUVssZeEKebxVu5mstvFnCsgtpNzpUL/1m3MY9SuItNPyh
twBBtclBieguD+FmotpVc19fh+9M3YTti6C/jI4m0Ujb9LGkAq1L1x6Nq/goYKpm
IyFC4d04I1zJ2vtY6v2+cdo0bDQLp88wQt54mfla1b16H6+RDt8Ch3zFvJN6TI/u
jnp9fPpUbVyOtyG5GKbzYyLAWgrYBDWY9S/hw0hnZtp79pm7R+7JiZa+Frzi7cfX
dlytqd6SaSyUE+vLj4qHUY6IwvtViGTxd+IUQYCIQbXs+M7Woyg7FD2RCPAqWt4F
9einquPqzUiHXl5iXTRAC7hMKIfqR3kUAbki0junk9GPd8QMEblBHByY4iRGUZSC
PQHY2fvEzBHazbo9NZvu5XmxSZ8quoF/QUmfqWoyL5XFYrb6o/U+q3RnkVqquhXj
HIiAEqByzQKdC966sQarv5HuVaTsnYia6glwrA9Jgnw0rg42zmE=
=AfRr
-----END PGP SIGNATURE-----