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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-1build1
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
 b04afa7662ff7ef7eacab014c04b9f7d10063e40 3088 coq-hott_9.0-1build1.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 a98acee043b95f148413233114011ad2ef090b4b4ce140be512876fb22e0d129 3088 coq-hott_9.0-1build1.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 65c438e0bc671e73464419500f5078a8 3088 coq-hott_9.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme057oACgkQLIPbyOm9
Djfd8Q//VrakjmOtQ3aRB93GlP8uQWqYBNnJYprUvKk+Ynkf5N50HX+B/fR2BUhG
wW61B3X3TW2gLpwmzCvKw1pqqwmE0Om66+z65fcV5hIpKnlzw1s8273KzA3RaDCl
o6k36qCDIWS4NaHyNubwMKfsz7rPIutREwD1wtYuCq8mg4u0ggxqsQNp2QtSASFg
s9DPwDaHdKhua9HprJOpNc6qBmei+XkfxiT46Cc7i+v2eM1f0q9pqBPczg0OFbhm
HR1+XA47eUvcEso85XCnvymO7NBQgJ6gg+IOmfFyQF8GUtI5vYPHoJttMF61QLt8
mljdklH9nhhHWc9rJdZuj961fZBpUJGO99803vb9C49KKKsaL+UMTkZ4+gyptHys
PikLFxjGe9/z6NuqvNT+ezYgg39LN50twQ37FlYqd9ROKD727uGXbkh0IuiSkVhf
OkGQQzoQ9bA28KnGnapUEx2DZYfyZjN8AKsy33nKnilUKdp3j3mUxgXiBB0EFYko
PxG4nuARRuTxGrve3fDI6k1TaOAUmoTF/8eZgwaTicpZSaTnvOme2c4utf6t3Cgl
OY1jFhH3kTkXT3/qWv/QMrG3d/qNwYw1gElOn5yVe3bne5Z1CjQx0kjlPZEYU0Rs
zUdD/yRZ3gMOdLMyE5eCkqyeeRibxUWjve9NWXlcn8s1QbdCEJQ=
=cn/I
-----END PGP SIGNATURE-----