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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-1build2
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
 29c2c01ffb246f60bdd471bdc2b237c410faf2fc 3160 coq-hott_9.0-1build2.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 56b63ddd81db85730464b6edd935fc7cc1068f44931e8c065d513c77b2b0ed06 3160 coq-hott_9.0-1build2.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 438c94d45ffa00b83c3cb4015f5976de 3160 coq-hott_9.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRbkACgkQ808JdE6f
XdkebQ/7BVa8YrjGLqz/Cd/0MXWF9eKDqM54xIz6uB+rXoW/mNnPt0LnLt5dDhFM
KdzStAdyFj03KnJH0XXtccEl6zWwduRLupCSsjv1U16J1waY/U+HJ1u66elo5ovn
k9oPu+AkN8uD2kmPdFLI9CfIiQr/3Y0cODNFFdMf87MGAUjeJKQ9M+JIOEQKgDmw
0wfETHBFbW9wP4gyhDK4fWX1+LpMeqPoI7+Gx+7Tp2PXjI+GwMVyx8Ve16ee8wgb
dRXdSkYMDUcfzfoVKIeaAg1NUD8585tE9vgkKsbSzDV8j22LNAJQzjUqu8doHkMc
AtLGcMvkALlGribvFiMeQHMCwY/IAHcg1ChnoB1R7He9UghQbVmuhn0PlVw2StIK
gQWrhYj8zesqFwavI554dDMatlT8Zc1neHFCSRhkEktLIcnNeH+orbgn1gEEzc6V
zfLc/yI0q1jpQ4fxKj7xpNtXE5YpxFkRdVVr1Td03B1Eq7FSJ6tNZOm2haeZE5Jc
yAsNCxzCiJoBwuXVYv5HSCr96mjZSoHf1/JqFdsHlFjKK9wragKGOCvgMYyTMCHv
+ZJU3N2E/bfSjX6+PKpWEUO92a2+JbFxZczMYjbXNXYqwFjFQmeFQwtOXqAJNRpV
4jk/qbYi98g4Df080dYDuqi2yfoKKdqxmaX7RjyaIB1FH6IfJ6Y=
=24tM
-----END PGP SIGNATURE-----