-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.19-1build1
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:
 49378eadfffd8a6f6683a25ce6c45d9f3ab03423 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 45be5afd029d4cf6a6b85aaae443eac52fdb8b20 2676 coq-hammer_1.3.2+8.19-1build1.debian.tar.xz
Checksums-Sha256:
 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 aae6024ba88091b3391b39ef01edd12a4b97b6958fb4fb4ce60de2e84b74eeba 2676 coq-hammer_1.3.2+8.19-1build1.debian.tar.xz
Files:
 d8b4c08209b8f71113dd5a8fd262ffd0 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 b91f8bd6182f38defe299982747fec5f 2676 coq-hammer_1.3.2+8.19-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8vwACgkQ808JdE6f
XdkGTBAA14eyp8xTDqMc+wrGfy7/79p1RqeU5/CxuSO/9V2LdV8D1pFli2xhiF2G
zFTfet3fUdE2fEst4/JQ7kl8zfD/w7gTMDwBMISqrjB5MFTbSFGPFdbalGVLsIRd
md3itd6x0YSSnwUMVKzJTMU6ZJQ3EJZR/vWNLZuxqFSxXRgQEENeZ8RszYDuOrRH
tTuMvOMsfpbhHoOPX8jFEdf7TgGTcq6VjWG39DElwSBCISEAgd6K4Gn8vU9yxrpv
/daNDta3dC13HtI+RlJln6ph0NHIqCktusILYzBxthvEi4O8oTNlo1kfpQWex7wJ
CAklNjh3qRhlxLNh7ZB/EK90KYVmvCMFinjiUZDBUpJylF59re0GQnylTIhMuscf
wNf1MrlsPj2mhCRzrNyuq2oR/jOzbqzkKFptX9iOMZ1XbThvxDNBdEbhttZTI/er
WmFPILfdkOZEGq9v3t2ph0kOUbqrDQhObqK2AzNw5huN9+LTmpOVM5Pzsu3uI37a
wSN5m/6DDfXft2R9A9MXwQS/jMaUBUElZ+JEyGxQV4jYb7khpqQNPOLm24fMvKv1
eRDGMTT8ZI/wGP88yt3u7r4Kk/J3fIMjh3ih0m0tPuujKUv/72gZCIOgR/k5ev8z
1t+37ZpNLFxQGi7KfQWTh10myiSswvVLlDt0i4+fXcEfeAk3OMk=
=wAj5
-----END PGP SIGNATURE-----