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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-1build5
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
 4862cba97bb7a9bea5a1d31665eb470f73b7e16a 3232 coq-hott_9.0-1build5.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 36f65b3f32d06d4cc1e393156277093d6d93307cd36dce811218dc550e72db06 3232 coq-hott_9.0-1build5.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 69e3e8ec6371aabac9a08a1a4382680f 3232 coq-hott_9.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnN/oACgkQWWH9vpxh
mAn27A//Zmi93YZKeBIWXKCb1cA0kKmWvPMCM/CY5b3WP8hhqKswzUKs4Rbfe+Dp
KUyIlk5lNP33fAeQhnsVC3X6uBpEZJ47T9nbFdjCWQ74JKmiAgl0GX94xcBC8Vlh
+cRoxaL72ThcozyRkxMCKqQ1K8P3/ob5VgmRZcPmu3MlXOQg2cN5D7EBYi0mPl9G
uyC4HA8GFL7o1r9WDVmmtrjcmmE5ytwlOK6CgUGhOK25AuvHaJcMGYsiRRSUEXEf
XjsknBthaAAT3zXgCjzKZbZECoQ5gBjMToCmMXuMDrQIaVAVAHCADePkUS8TgCPP
0CiqY64BUUVfqgpkAi123f1JdZHVpWIKWXHhRk6f+tUCwkAEcT4eROZxekNVWS+f
kEVU5Hkfj33gjljTG++4Br4hF5rpmLXOcuZ2v2WAZyoEtL/t77GrQAK8OofV0wPK
/1TeAV63rZHybP6dg2lrXFY8OXg4/I/IMQx3/ELgzBuQqfh7EpG8XC4gDHGrGyeN
+gL6I+ASmp/4SZxEvogVy1eaeH/Hk/opcEm3N/c4QtdDw3uoINij4lhkMlCqgbOI
fPZ5AaKJZqNKWJbtO/a9y3A5+U7HhlPS74KIr29FWXxFjRj5+YBLq+qGdzJrc7q9
PFLIWwlYQJ3sg9dztZxWhZSSD5P8pLZlzQe/akxvVvt/dWJANTU=
=cng3
-----END PGP SIGNATURE-----