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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-1build4
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
 e5584e374d3e5944c27718ea07c88eab5a15ed52 3192 coq-hott_9.0-1build4.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 e8dae6b53273cff116bf3898abdbd56911182d1f2dbf0e6cf18865eb48b4e1cd 3192 coq-hott_9.0-1build4.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 49bbc15ebd82953d99d0ada17dfa5152 3192 coq-hott_9.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s6AACgkQ808JdE6f
XdnENRAAlayHn6TThKm0ac1zHRs6p9ylH8aRuvjwRb08FLaTT3QF+d8BVJgS99d5
GDYwOqOTRJnRwj+/hjHl/0HScqy1t0vteQeF1Be4mBxw43zXvewyQZ79FMQZcLR3
tvxQ6X4/FOV1puFUdJaU8n+BXrcpN2M6BvWvI81gqvnUy4MwAMhol2jblc0jBIoh
K6yRHGgqNZmHiTAi4q0TxaJt/jn7Zsd2YE7hLd9eLJk4gbsewBBRfT1tTwLVELWU
8YH0MOJ/FKfDcIWwOUQvKeQgptxY5WipGTaiAY5hN8nHjpHR03srsqkaICW/oSHp
5JO/yJKzzdjSuwWHmE9YiYwqwLT6u6fN64xG40+qxMvcGd3jQJDFkItGyHhuCXAy
fFhwJEFokvlOjmGINhWPJzlS27JlN7GfGUsUU39BOvPHUlIamEaUnTYKf0D3o2p0
JfvpRVV1lD49fGL3+MiCI5SsDI8gMm2bdzjgW0bhym8YulbtBUKLAs8OF5XuR6PC
wc14wdfevzYHFD8QAt+Ue3/fMzthtWHfSvlBRNKMZh6Vbeq44eZ+v0WavE9ss0WH
moYH4SakfkzYt9DlFnjpBGvY70B7958YU2mPjaj823VwxK84Kno6aLsvN9MWXW1P
yaQYigxtUGVgHJInY7LuswrumwG48kV5mr7vFLVUi2Og2sgWGrs=
=/Q+k
-----END PGP SIGNATURE-----