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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-2
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, 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
 139c559c1ee5726ec7b105b0c13ac279aef961b7 17060 coq-hott_9.0-2.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 e80a1aadc81ac778180a7d02bd1b508b0a5d72c9bd0826ddf5affa8876e2c1be 17060 coq-hott_9.0-2.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 8a2a7a9f4301dbaa860477ccd8ab3199 17060 coq-hott_9.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzJsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUedjEACGvYGb0uvgfgbuVdBLsZ84
LvFWWpLh3PqJJGIBPvwdzU6Jl/3/YL7nPjJaeYKPxllsEbPGOBXQMUNgBWxB3mRy
ZAPLI9WiOGZU5DgdRd5tE4uIVWqWo4aPaKmFebY4gn05fxH55H+SA8clSClVHP0d
tlgq67/yLa2bc9KprM+tEqArw2Q/vAMnUw+BfuT3hvKN9rX+9akAinvkwOpA62yO
hMWPMSN36LtfTCxjdT+w0VDKpuMr5fMmDiMRb64iK0oGKJVS93u1If86Om/PiITh
+zjTh6Y2srzHyJsCQsD1OhoYZ4RlQf5AECeLUXoLU3czaK6UdUM2aTq+9m/gxhwj
sMnvpxf1C2dLFtrmRmhvuNvZLPSrYWsgMpgR0f+okZ2JeDDwG54e+dyAd4FRBiLs
TwpwZe2wZh/OTNusjqC9UwPVH0tDDzhQ123hAOMAYDW+h8U8rF7QPPD6wCbgfqh9
QPaUQ06SAzYZmksdbpJFjo4zyP6+wXT7N2v0u25jyOiNIob16z55ygbYQdYCR3K8
PS5RPF5Ej6kyawNyFDedWWNmnkrAH7+nR/d3ITuxw/76TOFsAq5QY/2S7jLdePQV
rTzfTkj0RdDjPWEIjOfwf6VEGdNO/ry1LwARa+Y2H7KeseQIuaLUmYq8uQRyt2MF
eBMI2c33bHxHvD7LJM6G0A==
=nsQI
-----END PGP SIGNATURE-----