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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.18-1
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.6.2
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:
 96f4590291270fbfc35d47705933b70388295403 909335 coq-hott_8.18.orig.tar.gz
 644a87af3ea59dcc3fad599972ff5eb4604e8e98 2844 coq-hott_8.18-1.debian.tar.xz
Checksums-Sha256:
 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 909335 coq-hott_8.18.orig.tar.gz
 646401373a126160573b2d9c4994ca2d59b31421ec100972773354d494552c5d 2844 coq-hott_8.18-1.debian.tar.xz
Files:
 1d36040caeea2d2ef92a1bb7ab5c3dfe 909335 coq-hott_8.18.orig.tar.gz
 b9729f9f21db8021b622194845873eed 2844 coq-hott_8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTx06ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxPIP/1p6u4gUM/Miy9xsp092zXFLy0PsVFvK
bWkizrTCU9WKk7EUZm075WfH8kkXiLVoiEG0T0yacOJp/QXxqEVxhGaE/MiEfLbk
Ew53SLeLbiWC4611X5JNbmgKAAKA8xeA0m0pcWdsyZYBQjL9zF+8onjygh16NEdN
BgeA7vW8b1DA9CdZia7KZDhbzbUYnXFeKz5Eks3APu4Mr5s7UADhn0MHnjcouTJD
ppw4VXxxSyNoo1u6UJji7dBoqMFGBTuOIUnglz45oB6qeWre2oiCzyb9aj3ghv1Y
tf/afrhUK7a9A/eUX4j3XJNwNStk1rUz7NEZA+iNcLVEiy6SbgTnqZAbC+F4DHt0
f5vXmCGPEhuZP8ZSrVrJysqRNDbS28LWYDPcrDITyuD54ccZq+8kfqCa75q8OEsf
INRpj1G4h0G2COTp0VCKXBuQkqtAe3EC/oslBxAx9an+1/iHwu14/Kd2r6m7vRN9
9BzQCRpJo7cYmsfRoBd/PQeAx91hrWX/7yUvjLJ5LQ7HjJ6MuKYEjWZ7xkyGT71J
erObYSsYEa8OUGXmC4z388S2IbE9ZZ2nXyBvqxDyn40/bpIj2xaL8e2iSUQK47WW
cEgppiP/oH7yyWQGRPwPJJCiW1KGefrBGNiXgv/drb7BvPjEfhrWvh6LbLKsHyxL
h7q7+OA6PzkT
=46IG
-----END PGP SIGNATURE-----