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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.2+8.18-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/lukaszcz/coqhammer
Standards-Version: 4.6.2
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:
 25f798685b5202f41f770f74e17f0d8e8699cb3c 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 60c6f557e4ec753606d4f9fdcbbaae72a8952bdf 2768 coq-hammer_1.3.2+8.18-1build3.debian.tar.xz
Checksums-Sha256:
 4c619b72bed0963436eca485bfceda8448790e8cd128292385a970190c0eed6a 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 7c9268a78184750192df79dd23c779af6bb05cef750add4c7f17aecde3e661ca 2768 coq-hammer_1.3.2+8.18-1build3.debian.tar.xz
Files:
 58022a87c9d0b8e5a2838733190ecd6d 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 91d4238e51cabb18862af26ad7cf332e 2768 coq-hammer_1.3.2+8.18-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmUcACgkQ808JdE6f
Xdn4+xAAw377aOhgKmfLNf786iyeZOS62epf5TPD2PaFJkQ88AcosKt+sNRGyNUN
hBTMaeoCJiFtg72mMBElySFsZ0+ggLne2FHxM4CEjqPxy/wNEnE/9a+PRYYNTKt4
si9pANzSwr10Ydrye1WBwGGSrzjhKg91uCLk1pPeqfU1PR3KAVOSiXHTCbyfshb2
nbhHBg/Fo/HD0JNa6VK6sw3LyWZZ9u2bH0y9p534qXm/9vrndKJ6pjgzZzpenIqJ
2qdKkga0Z/GCD/mUJqRIHOUOKBqoQR+Nm8Usu99nA5u787lX6qPKsXtymBVRivuA
pfm2lnWugY8S7+W4x61DVuDSv52aU+eHnuYJ5D/So5q5+h8FDGuNOR8RZdra5HP8
nKxu23une3BYH9ygQpPRuKj9ugORcxckMrVaagv0fFyd0Jx5bcps6iDekJxLfHuB
mmjBWPkqxrwUp2SI+FM4/vjq/I9A3tuPP4M8nTRiXahc61Gb6r1iBGi8xMI4xRtl
1EYO0aSHNH4buqCXlj8oBz7KxrBbi3SCDo3+ONU4vxAijv8aG7xiDjssNr/+n/JO
4YUac4rm8v3aEI0HZl6sGdeaFpWInyVslHndtWS1VkkGCAFhi9M5ttAFG075k8Ig
cHqU5ftPvbdaeY7s2QU+I6o6DZ1kyZzhaTx76rNS/DZwCtqnpZQ=
=5L+k
-----END PGP SIGNATURE-----