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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.1-2build4
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
 9f48b91fef3308173b17ae10dc0446c92542c83e 2864 coq-hott_9.1-2build4.debian.tar.xz
Checksums-Sha256:
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 2d7401d6846824f2134af7996ffc28ddf54272eb0c28c7fbc457df081c8a1969 2864 coq-hott_9.1-2build4.debian.tar.xz
Files:
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 efad0e53d4756533d85372156fa7f0fa 2864 coq-hott_9.1-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVN4ACgkQ808JdE6f
XdnfVw/9HimcsWtFZFlCWy3ks11V5/BOV5V8cH0uQS02JC9WIXpTVHAYPwVFEhb0
+PSITNpMgbToDtWvbjCeW1qrpeVRPMLjUJoFlPb8GG8IsGQkpnBjOZZLpnM1TqO8
vRuVEDK/iKPbMYYU8hY59oxHbiSDiolVzj/u0jZt9y93NTwQQfY/6I0yii/ZHkvz
otD7qKmlHa9JwU8ssncgNxFGu12SBZAQQEQBlndExIvQhiFES1JFZ6KtExPgOhUE
EmCHKSXWCGM+TksKL9Ns+6Qw7jmdCwJv8bg7AoX5FaJq/EOKnQek9ayEng2MR1v1
5YJkbQwkdl791sMrRkTyN2uU0foWoXhBXUxC2oeXOcZipuSRZZUjMbUQ2JtEFYKj
+fMU7NuN7NKVC9kmMuZbCgtHHQI3ePbVjbL3/uJgsdzm+JbM5n1R/6bSxUpBF6KM
5Yz3A3zzDmW6G2YnEC635jFbJbWuqg4AYqbnvptuCvNFJNsLf+cC/rTys639nlZt
GO6oN2i98ikCOzVQkd5Zee7oRvZJy9p7r0EvfPVGL11upr2tzXa/3RYJvdNg8RIn
zkTP+L/4gtSeoP3sVNZeM2LwHHs2xbrSYmnq7lDmpGLoUPIohXhQ8FRzfYirQ0AV
4H+r3hVHmuINDpi2eJN0m7WEASQJP8u9xzoiSr+LtH0POkPVqMo=
=sEXe
-----END PGP SIGNATURE-----