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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.20-1build5
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
 dbb0f86e59d7112baeb7e4ed4445bbf8a09b7245 2956 coq-hammer_1.3.2+8.20-1build5.debian.tar.xz
Checksums-Sha256:
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 9197e2696082c518059b1a195acddbd18396fdaa9d9ae7302179ad4fbd455018 2956 coq-hammer_1.3.2+8.20-1build5.debian.tar.xz
Files:
 9fecc706975099981eb8ea648b4340a1 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 8c1d185e8305517495c87050d86c091a 2956 coq-hammer_1.3.2+8.20-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9I8ACgkQ808JdE6f
XdmcHxAAo2E/kvJZp0yaMKBbqarmyuo+xUFZlyAwD0sPuf1FSzpEvzF20iq/nozs
JZumTz/SREUBceKc3fj8y4pXUx1byvbmqC0GRTmdt9inePjZJLjF4rb/mIp2j73S
IYAxj/VXFJgNWNxT5CIup1faJD/B2uZk74GRcXqjOPWYR8yDPj55oPyEOBOTEw7X
GIR6FKxCrPMAOCIfjdVVKt//ZFGsps3ASP/4epIV7ofAoIzqd80AmsDQCwdbuQMO
1F1kN1CGXwZIoBwBT+TMmhH320dPcjMuKFvXvtKexjap1OLLAHqki3Fo/FQ8v5VO
nkuYPOe6t67o5KoXE1g99Sx4c8yw3EDADGTnpvZLerccaR9WcQj4PZ7pL3fjDRHy
TLhwzRUWjwLoeN06RHSbF1/0WRJHhjZ+32QvqwocdN3ptYViB3X15AZZIq5LsVCY
Oh+jsVM5Z3VnuPShrQpHigDXVIcMtG6lPHKVV6e80mOhTi9MWiAYeCqzw39V5k4P
Glb249G351cjRzOz/H1yVDTY+su/MJWXavP213Kkwp1JMjvoMVD2SGk1Jmi6GyaQ
MhCZMCr/yf250vLvkdarPFltNJZ3VezLYfj0xztr9+ue8zzYRebHloUDy0PP53oY
0QkLsUeH0KKFNlwpePXMjaRpY9GXFlP6GezEGOyFcbidnDbxcQg=
=zvRc
-----END PGP SIGNATURE-----