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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-1build3
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.7.0
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:
 52a743135615c12e11196a5560003c50163d7a30 1118988 coq-hott_9.0.orig.tar.gz
 25a97f5bb97a5be594af8bda9aefb63b4fb6fade 3176 coq-hott_9.0-1build3.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 efa47c87bdd8bb9a99ba43d9e89c73f1550c649ea8feb53700a1cfb5ad45aee8 3176 coq-hott_9.0-1build3.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 b6064015ef7704089166eb6973c1fe63 3176 coq-hott_9.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9KIACgkQ808JdE6f
XdlSSQ//acxTM8cAuk7M7EKtE5Icn1aVV01MAcuL76aiXYdg0Wr/yl0SvH2ejMDQ
0KV0Edp7S7vh/UUpBaH9d7sjUcuD4enZaqFj39xzPUW2+iZl8TsiXRaavaKaYPnT
CX+8IqZ4S5Ha6dc45Qmt1qiDUz2cu8/gGoGwuW864CjJU5YSu5cNszuwZVyKjFtJ
8A+7byT2ItWTZer29NBw9UVkvGjWJdHaZgWsoOGr0vUUTI0xs75Vne+mirP+xOQg
+ogAv6nyaKCD2hlcEtJvw5nq0rQo0ue35dAXPvE58uu9NDk5cSVHoZBjO5PLZEfz
jPVsc1j2Ljsm4GYafkKHkXUsGBgwGXiBhLk9A4rSYedYG+WhhXJx2uxK0lJUy9td
iyYTE+Jvto7sWztX3WWRIvKDU8pmHzGlvhv7IH18CoY9k1/u69CF2HH+YfKw52NH
XbqrUk2tgL6E0OrQElO+jssU9PxNZMYS2A2iGKW5PqxcSQNSCAdgEyOLsIx6sYbv
dm0IQDq6MnN/R3HFLjVEaWOo2mALRhb0RcyMugDbsa2I0UbS/bclnM30f1UzTXZm
fa4Fkt+cQwtfSl7GTstUvjt2XrT8iKwumOrLgTOZPblpsiV0R5ZmsDf283+UmTnp
ecU1mi360QfpYSqeiGKD+tOHhUUhB/bVkdMuj1P0Pppjf+JtqFc=
=uM9H
-----END PGP SIGNATURE-----