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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.3+9.2-2build3
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
 08691eede017f0b8ba7d8e8a15745feac2ba284d 3008 coq-hammer_1.3.3+9.2-2build3.debian.tar.xz
Checksums-Sha256:
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 ebe1692b70e1c442c01907df94867d543ea9f27c3ccc928ce4407883850c2191 3008 coq-hammer_1.3.3+9.2-2build3.debian.tar.xz
Files:
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 cfa56fe7e706b34e138a97e29c68d69f 3008 coq-hammer_1.3.3+9.2-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0OYACgkQ808JdE6f
Xdm5nRAAzl2cGrUZV4g2iX500PGIZmCft+Ng61xWjYjT9S+JM3+HToLybYsGwJdT
Hlt3GjWQ2dgXG4lslep5S42W5gKt/BIDGRnKpIi/DBmxK2gk3LozkttMO/mTyrAS
F8mEfg5bo3zif1cfWvmLOHYhxo5BbjjWprkQZzBjOSTEzpRPC2u7SzDqYqpOWQJU
J1A53kM8YPjyKMrHCQI0MtaBlGDVvhU5ShIsM3Q3b+KAef4P4NafYM5i02QmbmKc
hDt903XRokYcc4VJl1xdxfROzmIp3CG8nznphJKjHdsuzF8I/cUUNsQKAp616AEz
LMfzAeHhhOFAcUCUCfHUxgVMptLo79zc0I8am+hjkSl7OVup1hEVTdkUa4RLP7qw
U4fUUNQso8FlnieL9pf7Wbt4p57lFqxMnjLaUqK8B9bIW14BeN9aGVdWn5s7qIXX
Igjqxb+lZZVb1JHSfkXy8GfY9cbGHRG0oUAITL+fmHK+KZqFkxKYqiWCuWYoHwKh
Wiz4YIvdV+HLGqx+ljKUw8SF+GsrDrnfmOuXHQKigHx6U5EHry61z0oaIK1qndjr
4FdoIG7Fvj/3SRK/Px1q5bOi4gTWFUPhb4WGQ9y1yMQB9l2PXiLqC47ifBpqyuqy
f1uTdtQnrVcE5+NzqJqZbzdrUZAxJlIKdsT/KOobnBQ/ak5OgYM=
=0e89
-----END PGP SIGNATURE-----