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

Format: 3.0 (quilt)
Source: coq-hammer
Binary: libcoq-hammer
Architecture: any
Version: 1.3.3+9.2-2build5
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hammer deb ocaml optional arch=any
Checksums-Sha1:
 c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 a81880490d50d2bcd2a09bd5f304aab6d2ecfba5 3092 coq-hammer_1.3.3+9.2-2build5.debian.tar.xz
Checksums-Sha256:
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 794cdcca233b0942b680301a27ae338f482cb265bef8eaa1b22fb476ec3e7690 3092 coq-hammer_1.3.3+9.2-2build5.debian.tar.xz
Files:
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 acc9bc8cad48bff9be7928c3965fc358 3092 coq-hammer_1.3.3+9.2-2build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/UACgkQLIPbyOm9
DjejJBAAqSis/TFTVQm5NFAUBxzbDL8avy+uTZmBdHoNsMWbx9P9SpcTe3CEwLFy
saUxXQvP5NzAngADyFFgeAqyYfge/8wBzdaXUuBY1xoBGN+iIhnFLipimtgY6gz5
i54tJUDNYkbFe0cHeQH/MtzuSVAKqBvBKae//tspXYvHB5ci0f36TsK4EtQUjPJy
R0XIcibUwrnIo3Q3mHagXFhGgouLfhLIxo69JVdYcVhZ6nwGir+16BTaX/TqVJMH
tlOIILW3Vuoz+hHo0pGcoTQewKFJNSf7QMuZGDUgeoN22ZG9SWTdon3xy5UNT5X3
1ui5kXOFYIQpK2TSxne2Jxuxio5iAm+SQsRhJ3lmP4b47kA1fOjIErbZBO3AcEDg
SFzOi1ZX75AUQdxfgR+0SmmgNblzeAbWeBmyb5h5XGXjZcOG0jHa572lXZYUyZyZ
1FMWGRViOZTnFPHI2UzA4aeljRKG08201kaz5OajEpGDuWdAebTa+3LV7kjn10UA
tg1WIA0O9avYoSTuqBGzCiCpIMYHbbGpOKGbvk3x6IaPFeiV/naz+H2WnLN0GBqb
gN15hOu/HIDyOsMqIJds/F4Z5wq3LEk5s3keSihBqx0m3GuBDV02Wf0NWyrOyXtU
PJ+FUYRfiUjm9tAsylKqD0oSNUVGHo1jFbZBkzWWypAHCYNs3II=
=GeT4
-----END PGP SIGNATURE-----