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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.16-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.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-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
 c4a28db89db4513b717c860a006dca649949c181 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
Checksums-Sha256:
 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 941ea3a5d7899804c54a0a038954da6303b02ae17be7eb9ccdb0e49793f317f3 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
Files:
 d3d759c01cbba8a4f156661fadc963e5 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
 53d5e02872f7b5724708b3acbfa113e1 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIRASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUwwP/ipid0BT5UyaklmoOyQTj8YlYccMihhU
AC0QE9+DRglr9aT/4ZNzHUFNMCXUqj+XjjNgeTr44ZUtlom8W+qs8cMSycPMXp5T
OK0WbEbzUEyyu2Ng+65Bgvea0Jb1/7kW5MCTm0UOFEZsTzNvzhYecN8kH0K+BfUZ
C4ZHLPLceEwBC8CdpDi3t+dMSpTCreuqozj07iaMnDjorT0STPBylEs7/R+Smnn7
Pq7ARRy0+IMGzUK8o04FYZ6oecaNrtzX8H45+PkFqerkxAfvJNZosGIM2TuqZfLX
LgnnBUoa2MN95Re7TaNaTJU2WVg2aVQBUxOzSCoS287MxzIHmyCCaRe88fwjevUb
MOg0qR9SyxObfMS9JCRhwOCci4oKj85ruj0Y5cORYLsSv2a4/rAEBlq1aK5EtCs0
HvBWoMZh/DP1MNDK0h4ojugu1HgqHJfjf9F8c4nftUTalobny12WJOuRZHWmHp0z
UiryDE5j0Lg1o3li1grMM8+5IsqT5zNf8RwPbFbrTefUZFh3efrtageIMu/DBrQx
E6xa7w5siWTz08RMv3hSF+SFdB8oBty0BGRie2YqPrvYkVxjdFPyDFME31qsItLa
bhhW+WYnfaQlgsd3m9WzVYKe0j6bPfLTEBcr+Xj4H60nirAfuRWI41gdBcrIk3UN
IC4dbWFcL8Gj
=/QdK
-----END PGP SIGNATURE-----