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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.20-1build1
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.6.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:
 efed39cdf9036dd4e4330d3c6fb661724601ba40 1075968 coq-hott_8.20.orig.tar.gz
 255c1680e60205a58f496138f071a074733cc5cb 3060 coq-hott_8.20-1build1.debian.tar.xz
Checksums-Sha256:
 125d4417c7361dfe5ac033372f5120c0ea45db42de91250ffb570f0dd5186f5b 1075968 coq-hott_8.20.orig.tar.gz
 5a40ace17a809ccedd0cbf165648b0a52803c76ea2094dc3412c635d9cc6dc10 3060 coq-hott_8.20-1build1.debian.tar.xz
Files:
 a55a107733fbc157db3dc44939c5da3e 1075968 coq-hott_8.20.orig.tar.gz
 450a8946bbce51feb82ce58f8a89acf5 3060 coq-hott_8.20-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m4MACgkQ5mx3Wuv+
bH14uw//aLwl669gvw+armnVr/PZ+dqwmMjm5zA3rtXU8UXZlpTjBLj241hMXBLs
tW8LVl4QvaRHK9JJWhA7poFhvBR/5y4WtD4dA4MxFLjpu2Uo9FGluH159v8RN59t
+LcuTLcdyOcfvkJy2uOQJYvh+7oXnOEb06fWRyXDLBEo9ALaSz3GbOWlcbdkNPGj
t9+cM/YGJkID5Zj9ILqmsxD22buz7ZcVkIXuVvtSyCXprI8UFELpbm9jWk2ZhGc6
5rvHIQ101h2i/1rk7/+qLxeLA5FzuGQZ9JC4b+arPNXTG6PiRLlYvROid5MeCPNY
HJhexYhJbHOEXBpwAO8x0fZ15HxJIUp9kyKJcRM3x1s9hkaiS5dipcJZfKtPMRee
OpNB06qYMdySLRH3BdedNPikNAIKyeHu2dCulizU+tL9VYPT068y2bbVIDH0B3/F
ndJIDyi5RgEj4z3h1kH+hMwj5VLqwPFWaRxJudpkprJq9UlRplWnQbkRrrHXishq
/lMV9Oa+STEFGERonfIWVUbc5SgWFQBIG3UoikPai/UFUwTC9MrZOb95feoqWehp
NFUgF5N5AAJqokycfk10222r3plnFQuT++QWJ8PPTcmUZiLBYndQlO/PnNHM9PjH
nxeDPS4saF4PiRSECUkhzZsIxnuY7GZ4jxhmgGwp8LeBX7GViIk=
=eWw3
-----END PGP SIGNATURE-----