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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.16-2build2
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
 222add91a0711647ea7c3682d9340d3c17aaf035 2404 coq-hammer_1.3.2+8.16-2build2.debian.tar.xz
Checksums-Sha256:
 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 bb9522b56eac12aa508efc915362c84be5fc7e063cc90af0578b96831b11b677 2404 coq-hammer_1.3.2+8.16-2build2.debian.tar.xz
Files:
 d3d759c01cbba8a4f156661fadc963e5 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 cbdf85d024e7fb7ebb9f3b94d986d5b5 2404 coq-hammer_1.3.2+8.16-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudcoACgkQ808JdE6f
XdmQ/xAAj0DReFRrSFQU8X26uOX4HvafYO/1D0H0YjazH4UIpVp1TJVvm0g9sU8/
j4p9sEH4XDvlJEQAhLhSUHe8NjzGE5R7z0pDgW5FPVbHkqRCFbG9aU3sg7hkkJIz
yOlciAWdAAADjYh31T56Tx/2MPMBcJ8rtBrqKpaC7YAz3l/sm/MLPei5Zy8zVgse
TSEVy7hVD1obos0qZ031PNu4nCMNBSmbWy3OJVt1bwJBr/03wUduxdKPo8kBXF7Z
+HMIwZpEqv7x3fS0tOVVNYl7KmsKr4xx1Yo4LPinakYUOaDLvJx88bItjahPIoVn
ZKCllTpNvCx3NUqHYmgfF5Y7+Y7zHNOtpAXdOmFfjjiQJ9uCcsnA4Ueb99bcwr1h
06zoXcyrn1WUR29c9R7rKG2pr9D4ZbkzKOHWRXA3mN7GVidOVhRSocuIWg0zM71V
CYRMUJ6KeSPVPidyJsvaBsP4jxCNhs+h0JIGP5BfGllYsobMwdc56+UG1f44HHmV
MZzdUW7y0C39dGDQBlPo4MSV0VXs8H3wtWCrERNjQVZmIQxv4xZyW8Cn8Va2iokd
Xb8CDsKpSprr/nlS/BZYc3ZFtYWn5dr1/FuPD0u/BmWmqzY8awTV96ud7pBWZTs4
1r9cMSYntDOeqscCrsOGCCZLvSs4phMEuohYsGeKCzkppwySZiw=
=LNtI
-----END PGP SIGNATURE-----