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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.1-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.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
 f249278f39fb63a3cdf52839d71e778adfbcfeab 2728 coq-hott_9.1-1.debian.tar.xz
Checksums-Sha256:
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 a71f48bbfdcb5c92a0ebb3d5d7067ff69f63ac107628115645f5575e620bfa9a 2728 coq-hott_9.1-1.debian.tar.xz
Files:
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 965f43bec3f69710ce205fe795f1918f 2728 coq-hott_9.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRAncZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdq+D/9GQ1LN/Vf8ctdKvfx23TzH
XVEaNd+gXWbHcm+0Mde/nV3tfaLkmsOOuFk0ufKhSVTI5vckRNISDsxN2mPBFOuv
5G2iI33QSe7QM2tqCh9KNpNKwSQj9S0Abm4MuyIjti2TlhKoFeO0zrwprqVodu9+
CLOANgSsvlFSH3cHqBhnI7i5AY7c85Iixp6I+rnQgZc4cEwZACqqZd0osFcZxv8c
vNHW4jaY5GUQ2fOkgRhZu83tvsSjelLBo8fDy232o5unoMkPcDqX2Rrvd/w988QD
eQnjuZKXOvlCjhlkol9lFNI8x8KZzndB58/N2QbnzYjhvDEPd3ecAaXv4EgLXIs9
CtGkybXxTPBeWCRX60w+X+QHz9rKBbyTTyLcw9BZKCGjpG+i7GnXTzNM224EUvCo
5hWSFL1JVeo4oZMk6nK+JhhFiECgPQWQ2oSwHH6EEgv8QRFA6lzzO3Q3qbyigiyM
sJF+Ckav5HqrSkwl5HIE+vNtQ0Hgj5V/tptCHthhILRPoXz7szRI8Cat56E8Bsod
iYQUxR6iZJMv3YP7scC3p71iuNLa2pQujymaeiPSKP+8oA3Il+K2KVSnYGTGKF2P
uc6lye3vOqZ8BwgcdENHIE2Vm+4rfXimOGpX3tNKnXAJL5pnklzjluiu607Cis1a
rY+Y5Tl0cqpxO09sbR1WnQ==
=IY8r
-----END PGP SIGNATURE-----