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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.16-1build3
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
 761e86621c03b0d621d7db06de73c5c0252d4f7d 2372 coq-hammer_1.3.2+8.16-1build3.debian.tar.xz
Checksums-Sha256:
 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 d182eb6f7fae06ad48fccf05b5e2a0a3870a35db6f7ea30b4c97927e7b564d7d 2372 coq-hammer_1.3.2+8.16-1build3.debian.tar.xz
Files:
 d3d759c01cbba8a4f156661fadc963e5 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 2fb6d01f370474481d11c500f777f29d 2372 coq-hammer_1.3.2+8.16-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGpYACgkQ808JdE6f
XdkL2A/+Obpb1OC/j28q9aWttVbmFpv/NMq3dzvInQ1TA6TpK8JmJo3VFDLeDKR3
JsKPwTYtvpACD//E+ZT4URgkCpGGTjqmPxlvVhB6mKJwDMStpDRda0UQ9P38M04X
FjfJJ5PN4uKIP2MzL3AC/qpWsEOoC4KkxgjauxGfrslLKJXI2htXsNN7F+WZBsF7
JlFuQ85tyRBbiDA+NtU9wlcHaoBHd6CopB2fvliKY5SBV//LuXEQzhqf9YlsfrMV
+y7SnjJDcjTe0dc3fphG7HWMt7TbiRGyTpp4wMnELmG5ZIfTqWa16lQGot6P8zHX
39j+UMTvwB/DUula0Ly75PDvKn9tCdSpnUMkKGF8trnm7xHjpjQIm98xUGYVrzlo
dnTW1mLIH8nE2spHW/hEF99zsoUFaCiXXatxV2w656BPXdh/hyfhe54Tarv3IjK6
xa7G5iOx99QaNqSGIdhrhW3RKvU6LBV+jaoA8zOItxBnFnyKip3ghwKdaBqErmYy
uSG0iLgU82BTv0Z6j/F9NmWsh3nyaGxObVx05HbDx3Kk7dBZto/rdDiEkMKZXLkM
UxcDXlKiMtTeosHDTtpr4mgJfnYMNs5/je1keq7TTufMHyIiVIoF+HQ0QSpTl7g1
bPYzKDZx8pxMXgfp6v/RPWxwyRdbZbdCrpLjUQlJW8ypZhm75EA=
=Ek8x
-----END PGP SIGNATURE-----