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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1build4
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
 317c771b950149e1a3b497a16c4334790f0a3a0e 2940 coq-hammer_1.3.2+8.20-1build4.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 8f5caab7e3ed4912a03e775339643414c654b009c48d6409664698c19f693c86 2940 coq-hammer_1.3.2+8.20-1build4.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 d9aee13c729bb7f14c9cf722cfd2fb73 2940 coq-hammer_1.3.2+8.20-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRa8ACgkQ808JdE6f
XdkyDA//cL7rEf7qMjrbwC5BBycSaKBTxLFdN8++oGcfdkGgzUOwdmxYJyBsuyA8
0W6zN65J0WSCNop1MuI5PInW7kU6B4//JZNcSMJA6rKYYFgZqj2SztrUVEbcgExj
d865ZL1+NqelnDUFzeXpL390pzeu23ke2ESoY68uvqfLhNXaUfzzk0pg5TRqc05/
jQGCgFnO7e2YAId+1GnRyWC021ovfo8PU4wqjp2O6Djchgl/Xl0py1DHkBLuyJe6
VU3f70s7Q64V6KFlb3KB4dEPB9ye8FV5j0Gwb+kgXebfeKz7AOdUAq5hR77F8DnM
TOFf9BXJXzNLQOHHMKRcMzLcXxkH9078o1xxGsBJuAZ0O6OWIF61FgoYcWJFIVdw
crXCtvgNPxcmdzchVLWunJvGcooLvJwRMNBflGAFOZU35BgKAdZqk/3cBykMe6fk
0tC6+eBPASCiqRFAX2XA6bQZYfQBY/YR/zvzb0IEVSIiwZGex0+usbaLf7lNpJvg
ZL5tjbui2gW4EkLGxcyq3JsdsL5AAhYAKu24np8rUjT+b2W7YRGpLPCl+BiHOpgu
uYPsH3uDoFrvwc7HzwBVumVucutLi6WA9EJc8XNyn2QAgzCmblfEQPdhdSEt1GJV
Rf21chwylPnwutO0lfkl59SkEOHNLHo38fu1+gkcuva+6NFaNZc=
=bomM
-----END PGP SIGNATURE-----