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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.1-2build3
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 40b70101d53bcbf62aa7bf19e0575e61ecd63989 1184742 coq-hott_9.1.orig.tar.gz
 6fbaf1a3231f3b249d623c29568133597878ebf5 2852 coq-hott_9.1-2build3.debian.tar.xz
Checksums-Sha256:
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 39a0687b5f169d72de0343f512f0f148403d85cae746c4865b72a487fbcfef96 2852 coq-hott_9.1-2build3.debian.tar.xz
Files:
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 183934d1562175338ae59de244ede39e 2852 coq-hott_9.1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0O4ACgkQ808JdE6f
XdkSpxAAwhD8qTc0aswez68+uSqqkJwivgYlW5DAOyCm8YQScGkKGIqBUlebSCcJ
xCPgzNxzoBy4K9tO3N8VAToFumdKMISyNIZlNqxaIAWK8VeSCGl2KjMOYPBza74/
5Hjuc9c7K8McOXI3TGc7NpZ1WEkHxiHW3JwMXpW03uAC66Mu8hwOLWD5qAanOKxa
EsQFO4oPo/vFVvpzh1B7ECDPR/UCPWUJ6EbjTGnxYZSeEm8kzYP8+N9JSbgeukiJ
2aFGeev8wXWRJ6A8r1CUFRO1HsVF+Uz6nAGtjpSO5+pxj+mv0abBQHWRcmoIiB0Z
lPajsceZ15TVf9l78QWij4DV5zeiQYTZ3wM5fiys82gNvCyO+D0yVGmkaR/4XQ6Y
0wr+ECZbW6dSP9a3srZIj8o8eE0TRPD6qw76xQ8dZYVgB33eeoMtfRI9lt6IWCNo
TEM63v43LYAdHlBxyMVnUkgyVLKrJt6l24C/X7HnRwQCqvAIOugKpMY1169eEOq/
qwHgnmI6oetrJabjfzKjEmnHDGrzLeqXsZhoCfNyz4UW3jQhzAnoiuWyL0nPCSZK
ScNVu7EcJHwqblnmDHIbR3d5+eaGMjm3zf4GbeAAvXn0mHf04zkEUmSIzQAYE7S/
Zmn8IrOam5He7AgTdEcr/CsMiUQzGpBEiGGBNtam1vFOdv9N9zE=
=cs+h
-----END PGP SIGNATURE-----