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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.3+9.2-2build1
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 6d11bf358bcece5caf2620acd244ab745c4a3ff9 2984 coq-hammer_1.3.3+9.2-2build1.debian.tar.xz
Checksums-Sha256:
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 1c8019587e2bf2b7b2d05affee1926bbc3c3df7884fb893452762c213c224cf6 2984 coq-hammer_1.3.3+9.2-2build1.debian.tar.xz
Files:
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 587eb1d6006556d385cbf88d3f1bad8d 2984 coq-hammer_1.3.3+9.2-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDKAACgkQ808JdE6f
XdknWQ/+IY3z5Tgnrfom6YRgLfAMoewqV8rwLYbV0w8D8BsxN2+NxKt+jBHlvonQ
OJElcdSlri4XD/BocmgJXibz3msMTfK45AFkXB/65Yh9KUw4J8Y8JBD8qWtvD/8S
26CM6yC/uTVwlJlQSvSWvqCnQFkmq7F36uVuaO2KaDQTAC3nydJX/trOMJZUnbvo
Ik33dWvKx+rNxvncrc9DAsc0bMw/YY3OfpnwN6l6XEnHJVQLvQ6aUHnvx02bvbRB
ARI4WS42O67e4+JQ48yBxjMx0vrRRgUyLtn7cJZYUlx9baUinznuL7IV9YyO/pur
1R1yISo2AKPLXaFeidJO2dl5mIDinFgevt1tCvXC0SCFTFHqeiu91Qx+yPvwcb0y
EwXys4Dy+Y9DZaCoYI1MGJeeFzbOSJJ14Jv8sPIEjjPko2MVsWld4sJU4d9TSQa5
Vif+stOpTuYgK8vIbKz/Ey9+AHjmtCBMjU5IIAWMtn6TwfgODqfgUqk3+7Y+LcCy
06pClKH0wxVD+xBa61ymxRyZCiUBOE1UT+AJInz4wZUtSqesjkLW+0QTSkvhmAPp
4Hcru7ZFRQ+40xiZ7huRD1l0vpfZg0xx5qjxEhdPKqoUQyl732x452lQtKcCKqth
2qVWDx+c5pdtrEbSOw4SAPUt1gmzv6Cz7Ys3gMbEYAmyaTmvMl8=
=L5TF
-----END PGP SIGNATURE-----