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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.3+9.2-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.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
 4e1ba6d4f071a39a9b363d24fb04bb28cf963a1c 2988 coq-hammer_1.3.3+9.2-2build2.debian.tar.xz
Checksums-Sha256:
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 6f05aa21781990014de74dbc0e2f2a3ec302ab14f2082d8f847164bfac6efa15 2988 coq-hammer_1.3.3+9.2-2build2.debian.tar.xz
Files:
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 8c0e3ce810d8cf127544d4a92296ef75 2988 coq-hammer_1.3.3+9.2-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQp4ACgkQ808JdE6f
XdlF5RAAm58PfZm6Q5HH8NsliQ57HgmHXbJfkwxCpZZ1PrNdYoAPF8d78WaPmlzj
XbpEJ6TEyWVzlHznfvRQ+ivVKLim+lXfRQPyKHrAv5bUr1jDbsJ5qQ+5ERx8YHc3
D19K4EJS4u61+jfRLpgQF0ce7wITRP8ar4CXQZ0/P/tzXeKgBabuTa2mzKVvKZHf
EqShRQCN4qRRqFC8fQiq9sVkqw0tQTvv86T0Q+Ysd8T4naTZahq2/uWhs/QmSHay
GybV+ZgoXKHsc+9cWjW40i286FGrMT8FSx5HeffR8CbaCiet3XcWWiO0fRnKVyQo
+G/2pg5/52COzppmGNQlOgWybnCgFMbqsw/nwjrniAl3cdqTjXDs2WjKGQ+RIDv7
n7n4UIkKUtMlM555oZxmv8FSZYyMOr1iJSx1HZxG7aoqvFBfC4uveN7fg68Hqfly
a1c2oKDQQ+IKaQkC2iiHZuUvBzPMu0C6e+WrZUdLFV980pCiQmECOtVRA//G69WT
gEl7FdfBblccbTtGZMtJ7hD9WruFttyWNHmDv0Sc5LkxchycFE4WdYpfT1Fk71CO
9p1Ngmy58mFqBJ1Wb/0Mq5dRHflhAUllYSY39uGJKiD2aSyU0DJjI0bVUBIkcAtO
A8osrIkcUZxr8OGL7WhvsQvk/F3xzG0XtZ9WkAATFLlwVupZQdY=
=KRGv
-----END PGP SIGNATURE-----