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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1
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.0
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 (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 a58883c54299d32040f1528ce85c01286c8b1a93 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 0d597689e27da8781aca9a10c3f6f6f28c87403d 2744 coq-hammer_1.3.2+8.20-1.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 944c67f34268d28cf2b8948fff186a887b0575f0b0dc2a4f6bb83207f4438dcd 2744 coq-hammer_1.3.2+8.20-1.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 0278a7440262a88542e1361ae4060994 2744 coq-hammer_1.3.2+8.20-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r8sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlOIP/jnGK5CmIgVitb1byAtFPAKGVvSFF9nr
L6wT1w8C4aMI+aEFvhIhHqgdMqHCmlRv8iZGRZ6J+tgm0XQxlKRqC92WiNs+EaGs
ddx1agbFsbvKRtzJg+UO6T8nvqS+6aIoe6lU+51+XxVHqPJnAgCViB8tpU0AhLs0
9dzWZT+RqacBPGXDS7VYdbXvX8rG8FjyMP6RMWkYRjsk2nkRpxbrWCdlqM8XkJN7
dQve3MElw5Z2EAdljIb1ANwLApZ+aRuLynGwFrJ3joZzIzSmmcv9XXBF/LQhQBAq
t14efn782chga49SHKMzET0QS9tE8QaFSiPOl87EE1f9GqXaIZW90f0i7Z1wUJsb
Jmk1H3uhHJGYjpG4ETuixn3IP9K7EeVn8+R6DFMPNeqwMV2HBcGCYOOpiJrZGfPi
cNEVZVN9hz30D7jOlUbd5/x9G8btGevBdgVtFJTROPWlilDYDZk1I/4J99J/mGIB
csjraEpVVKwPvgSWOs8isoaLmr22P8mbzuRVVk2roG3et42b0XMNZidLVx0y8yG5
ypRGM1mVxS7+DwK0osypsi8yuiOdIp40is2DmVYRUce5deNVMuHlos1xxfiS2BIf
fvbETyj2KUiXs8JMdRgGtuUebVzqCGAFr25ANq2BegsKVDUb/SiKxrKZfZkpn/nm
6UpmUjc8U5fa
=kF7F
-----END PGP SIGNATURE-----