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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.17-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/HoTT/HoTT
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hott
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hott.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 e6f3e473361b5c7585511587729ee0fc587052b4 908619 coq-hott_8.17.orig.tar.gz
 9ed082ea3f48e41ca107402d4038da8b48d0a8e8 2604 coq-hott_8.17-1.debian.tar.xz
Checksums-Sha256:
 31e072757fa037b24316a466a8533da5b24dbe9549e17de17ef0d75cdb4e3d4c 908619 coq-hott_8.17.orig.tar.gz
 a2749b705c3e3ba5d75895729324a33e47261eaced267c8f6ad54909155aec72 2604 coq-hott_8.17-1.debian.tar.xz
Files:
 0990129003de98db86d291f947e3e016 908619 coq-hott_8.17.orig.tar.gz
 54b6b0fe2beca4e324058d43925769dc 2604 coq-hott_8.17-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVkoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRR/UP/RFOGpLLZ13+iM3hwtr/AzbuUqow7GfM
Jbn7DgxOEc03cf+iu/kIlHNSAUPlZJ02sZM2EyMlLOZ/0dL8R22hFOboal226d09
ue9+EG6pVvoYxSDXTVVbqqMvTqD2bd+lqXmBNwdCTxzaV5t0kdrEbl7yoSVgNJTI
R4cCfRz1Wje7xSXuvj5r+mRz2m1M6o14ZSaECnZ+Rq/PZb350kaPNC2CYrh3yV89
p4fBpg3hH0kYi95cC7L6O3U2wAxFLABX6XOFpOPiciD5PldOjt+8N9rf1uZKvL0A
AquECxMJ2J2QI+DtgxOtkQSlx+Idt/DfXjbWfH8lhjkX1tSs2JYaduqYMVfBb8Sl
aSAXeytDkhIvBuQpPnIvjUckxLsOmo5V/90zqXCrru+YfYmU1lUoIYwHUevXDISU
PiVYisnSJl8hGtISaEccnR375dIwPiccdvZoYhXp8NpuaAMwp6R5MK8xEY7NNR7N
PG9EZS5RxT1DBvd7JXrysLJxxw74CVqKTitr44lkY28ZpNSuOCv/3OEVPKwbuZJR
VBKYSg4F1iNVkU/bWKxrXirJ9kyEcsCEoC+qPB2R3HEtkjr+wB5lI+kayQci8u5i
GaQka6p4UPfNrtoCQgcOvO4LhaLAFkR8RqVjFC72sxt5+zA77HX4rw9yLLD68KJY
rxb9vdrCSOTS
=C2WC
-----END PGP SIGNATURE-----