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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.16-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.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
 05451f47583ba643451fc955cd23724fd4a9a484 2388 coq-hammer_1.3.2+8.16-2build1.debian.tar.xz
Checksums-Sha256:
 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 e1e63f525f85d3f6c3a6a9c19fd3c79543c1b3bc0f601b2ce51417e1b0eea9ad 2388 coq-hammer_1.3.2+8.16-2build1.debian.tar.xz
Files:
 d3d759c01cbba8a4f156661fadc963e5 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 bd3b2fc633c8e82e181d2b86f1fab904 2388 coq-hammer_1.3.2+8.16-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeWkACgkQ808JdE6f
Xdl/Ng/7BwyU5MBUKHTdZr4Yzuv+y1q4mOYZxGTIUnoA+eRBTflg7YX8Km6ptCfG
HzFYwjOtkji0KfAAw85ftDcCDjjDC8t37NqPTwT8ZmPM69h0rdO4dhkH6ohys7fp
rPoZ+H/ME0C6lxmSfagS7llZCNwRcSRA+dE0FuLG3HrtKJj9HxoBaBRBa5vAWDeD
PvEl6+4jKzq+VAUzMypIfqJhORxJDnTPadwh5TRv/LvbHqI+yLbYy2gaZJCj/J5b
PnZGZuJkelgghd/cIbRHwAnDGxcpExK3KpRybmJALX0H9JOpukk/r4xoB+LS2iWC
dJrFlcUCtLIDXXsAZFZttI+n5QYzU8ZQ0flmyHmNoDq5lJEYpy892u9jhsBN5beK
QOfJ/iRi5IcSA1sQLYzOWdPzE7bYGPjpbdWblz4/glPxTZu1BoVPYFyfAKY5Qc7q
wjbG73O3zs5m8z465x2r+YiueakQKlBdu7FMoriBoJr7oEweeMu0McISd4cUh4B5
4xawMCWu2j4Qnv5Ntfq2Wq5P2fQMV+7AdbGwhQra3jgEqvHQ+AzN+lLeZRkCXvNG
B5bEP4CR2DiIjinLsRfsPxVZ5a5imZpezzMXjJ4QBQttyYjEQHUT6peMrt1VlHqy
hlxSrgF+jwB5NMpKXTjJHT6+eZPEwu+uxZ1fiwT9EwfJL1E6ghM=
=2LBm
-----END PGP SIGNATURE-----