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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.19-2
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:
 49378eadfffd8a6f6683a25ce6c45d9f3ab03423 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 7edfd9393e19566d5a86a10dc5189547af8d53ea 2732 coq-hammer_1.3.2+8.19-2.debian.tar.xz
Checksums-Sha256:
 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 97bab3b7b69718563c7cf8d4ce72ddc500ddcb4724fb8735fa0263c3d55d6dac 2732 coq-hammer_1.3.2+8.19-2.debian.tar.xz
Files:
 d8b4c08209b8f71113dd5a8fd262ffd0 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 3a1963dba29061698cc0dee07a873c44 2732 coq-hammer_1.3.2+8.19-2.debian.tar.xz
Dgit: f163af57f8bee50044b99c1ac0561a8f69a22f68 debian archive/debian/1.3.2+8.19-2 https://git.dgit.debian.org/coq-hammer

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTZESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBoPcH+wTfB5rskL2tYWT/FCIIRgmh+ch552p6
I9bfjkUTRuHmFlU8E/JhOxRq3Iudk4wIwQQM02+RAzXRBoX+jMGmTswHzYu8nitB
p6MZ/DRfPo/VQJgXYcCrNnWmq8DS/se0YAy7J2nEZqpQPSd8693tfzRcQ45oFIw4
EYT8ja24BqkG0UwWTYOcup0d2ZF78uOQGPLl9dLN4UOagm106UY80N0CTHmnj/Dl
mPkqMm0GS5eUW5+aD35TcmyQGAZfENyEocG0FWMHPf8JoExDBXt97Jf764NsjhFH
Ixvs77mZbPC+LjmHBRjQugDZtOdCUMupTlj7hmsiMk0mmvl8tbUFQfk=
=qGwb
-----END PGP SIGNATURE-----