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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.19-1
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
 8f54683c77a9232e03855d28d27736ca6ae91e1e 2604 coq-hammer_1.3.2+8.19-1.debian.tar.xz
Checksums-Sha256:
 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 4c438b0bbb3623f4ddc4cd52216bfbff994c4f92e321275a735d6e1858b7afab 2604 coq-hammer_1.3.2+8.19-1.debian.tar.xz
Files:
 d8b4c08209b8f71113dd5a8fd262ffd0 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 a4505f5d56a65133b83eaa467c57d542 2604 coq-hammer_1.3.2+8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWOGYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRj6EP/i9TR6Ug2rEnonBQkOh+VkgyS1XVBruZ
WdXc9aHrtKiQozTWzCCsSamVFg4wjPWaxZOJIBqzru5Tr2Rlo4nO7onNU+a2wsie
7a3NF+iOG+mU9WwdbrWz8+gHcGPeuGbDCZxiRpowwVGd0dYgudF78m6fzrx3PqGL
Dwg3q44j919Y2ozVk9CbfqKLxnkF3KBCg8ufFgrH21AW7kd86z/bMb2Q6WM4g/pz
JNAbAOnODdnJC3GJiyAs9sqDrlhXDSMZkkF7560e6dgDRY5gOd1+btfMGW8URylS
oYNotWjSizdEz+p9MCqKzah0vVIxc0I0oSRvsjV6YVLgYSLbWlfHCnzLyd/DDQIB
FojvNAszUh/m3hOivtlXapk5BEitUWlROLCuCsuQ7Q8g+DNxLXlymPER0a/ml4di
42O/7l8lEQ4f5a+WAOEKvIlBYsWpOICtHRSrthJWrVOWbREnWcrqrO+BYIFpmq8Y
1brUTmPdw+ufRZDOhnFtcauc5RsEqnMy353LVxZ8cx2Odfl6Z5v6y9muDOK51dyc
KBIbsRPgBOdN3JGIwiXVXs/2VjO87yqwtOgLw7cA2leyYFLj11SKEYS8M7LbO9iH
uV16h8VcHDmhTdFd+0qS28tn1T3cMoB7AJd1hYM5HBjPqj0QQXmK0+5EAeU2IAL6
PRfpy1FM3a5h
=Fb7C
-----END PGP SIGNATURE-----