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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-3
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.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 (>= 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:
 52a743135615c12e11196a5560003c50163d7a30 1118988 coq-hott_9.0.orig.tar.gz
 fae2a2aca61c59860e1487240d0cdb5dfd8ed470 17108 coq-hott_9.0-3.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 7bb34915462df5b1ce5c8070412854ac7aa6cd2640a5b23ecb69391885a812ea 17108 coq-hott_9.0-3.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 a8f9d21adfa6e4c1794dd049a742695d 17108 coq-hott_9.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcyIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUe+QD/9WOcwGL/ZhwYaB4NS9kCOi
8PKKhK0r5eJ60wKNSrFh77b3m4jnWc1JWXF/aH7Y75VMZOlFSUDFni5dImt6VfaA
Y9kL00T2vB83rwieerlGklDdI+sbP/xxUgUN4jaYepRlhxH5RqS2FsYjF9b+tXLV
n3Zryc/Nh/EsFCAgpxB/Kq7sRtXkZRRiSYAwtHvgr1O8TIDebUhYdFWfXE9AUTeb
G586WQjcZuncY/NWBMliCbz97TwmWu13OhzUE39vRrP87MoR8GLE7DpCr/dnXUMU
q4nxu0j47sM3kpu+Ft2HtO8I2FYAjM6MdGWvnw8a8hRmJv3NfylkXEQbBQ9Fl7P0
bdZfDS3+mo4urOcXM5K+3hxdrXJHiru9RgFPQhCmkhn3FsDqIpUXqSQpUh4NetWN
gD6sxVEAV1Zgk+Gnf6/IGjwYFXN59af8NJlAFfkqgQ5F6tk9vSg2LB8jsBpZJ40f
oPJxQhBNRC5VStcSR4DNZhrjk6ikZ6TLu5DlOL6zZKuzHdFHKXUt/3r2ImYaE5k9
aGMeYofthuv4RjHWef1KzlMmlsy/cIpbIuTjFGwpzIDAOV34Uo8R+SJLFk8XB9wm
JTjY6E/UYIDLNItA450Boec13hVkZ+2UFs5i+xu2po60ImLXaYnrGB3qEUpQynPa
ZGve6f5Zp7tGrv94gpT7ww==
=my3+
-----END PGP SIGNATURE-----