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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.19-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.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
 50e599651edafd19148ff2d5e4b4fe477b2d2f22 2684 coq-hammer_1.3.2+8.19-1build2.debian.tar.xz
Checksums-Sha256:
 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 72dfb978a7628ff469174798a3121b58d61203057e33bf8bb7028690174e4709 2684 coq-hammer_1.3.2+8.19-1build2.debian.tar.xz
Files:
 d8b4c08209b8f71113dd5a8fd262ffd0 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 eb727a3f27a3335787823b210a4cf28f 2684 coq-hammer_1.3.2+8.19-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpmMACgkQ808JdE6f
XdmO8g/9HQo0pC9S47Js7PKbUw38ivEB1b6gks8OnN0hHpnUYPNoPlh18Asrzasx
hYbE2zzep/t5+k5/ZzPzj4uWaqAUPIKsf2tvExiRLkomdbvdcRxdVoaYjaGIPFoT
5zXmb3HKQlNB12j99lHcq8eyW4IPu23JfqtkAp9bj0774jKoESlh2pTQPXgJasx6
6na7fx0Vr8e3Z7TrL/tWuVFekvWTi4z3gtQrpgP1VQX32UPq8zq8rg3dA310774h
kE3256SmMBZPkIZqbxceyok/1SXHYZushoIQ3E/fk3957/0Q7wK4Bcz+SuKiLoXt
3b2lq2LZhIpiDwFZY570geJHpTqdIZC3nLnjWJyP0psvF6rXXrQ1rpJEr1DorMIZ
NGCyeQ427OVNF+z+RbHBKjWW3JUz5xt68xsByfEENWzSsVGsuOPfhoSf2R2MhWqj
uP5Vmxv6RlKkm9WVLXFmzwXHbHsh043rvA0l77noY5/NQgaV3vYEUE3wN8U2JqWj
ok+7xuocu6QJ9b7MQjLj3fLwUQ2qrUc8RJQ5FpRwRZIj4hZJhcg2sZEmZrOQG6NU
IvdPgkS+c4POtDobCpaRAS633txBFi6Jlb3oGfKfiExAK1D2q8oTKaJllw3fJiNJ
BdWaQNA/x6i+27MO/ATFnB3BoVkRlVPZMfRJia+NoovpXLeKP+M=
=/Ehd
-----END PGP SIGNATURE-----