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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.16-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.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-core-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
 de4c02e9f3345f1895ead397eb4dfaa0f0f5c2ae 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
Checksums-Sha256:
 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 7290c70a5f181c3ed90461654c49b65332697ec790056b9ab97514670b485c26 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
Files:
 d3d759c01cbba8a4f156661fadc963e5 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 53e37e2e6926779de21ee3c5dd5a6537 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0WkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNhcP/1Zea4t5wraUHgEvEa/ioQtBBUg2U6kW
Lf4l/MVtu+bvCCkmZEjNinP9Mvp8Fbq3BtWt5RdUkQxJ3iUCC1CiGal2EXYusoV1
sjN8xA2GEnlqTha0tuTBQo142DeW/B9oqsty3Y0rZIjNWesUcD48d3r3uabM78Au
OFAvaKWeN4WWLhGc4Clyo1NpbW+INoxaja7JTEpKp0lR+TLHye5PhGb2KjfbW2SX
0TmJgFncaPoHIGIBa0OaBmAr50yhXY66qgqSABmjpmjah6AjmhC7LlOoAkkx4rXs
8Q2YFyi+FIwyzqwSY9pJIeUJ1yoGYZ1godK6mDfxzvm3+OVT8msfbztNaWebzM1B
tI483aY4QLDBUR6p6ImH6dVJlBrIloAbhehqUXA/c6acMv9SYM3XhFRXo2ajjJUD
ibRy+LPocsjKcg4f8dGqNnXHh3P0CCnZRodtflJ4i7Vxs3wOAcMQLa7hDsxlo3QE
XHMHKjkrccDfc1lHTqYIlwNnOfxL5c30vc8Xli/SaFhJxGFliBMy+zYNluY87bkD
N7hRm4GO2nEbLSlE/KWrKXeH7VQ98yhn3QFy56D6n6rKPFHGzvWlSw4AdYSUnqeI
vsg11rG4v3q7QNd8ieprpWEE61PjOG+bXKZq5CeC44Z8/Tsg2AGdapoTnY0EdaRj
gdlW3akLO5IW
=pHER
-----END PGP SIGNATURE-----