-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.16-1build3
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 820723b59c6ba448b2382c01e60cfd889e8ae23f 868101 coq-hott_8.16.orig.tar.gz
 899d06a05c0007612d3cb94442d89dfaac38823f 2628 coq-hott_8.16-1build3.debian.tar.xz
Checksums-Sha256:
 4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea 868101 coq-hott_8.16.orig.tar.gz
 5d95a8093835d11a3dce184782f257155e8d35f7ca1e8cc25dcdb6730875f01e 2628 coq-hott_8.16-1build3.debian.tar.xz
Files:
 70864b137dfd68b412f803a487367bf7 868101 coq-hott_8.16.orig.tar.gz
 d8e061cd420a4951d6cc61ea42319c2f 2628 coq-hott_8.16-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGp4ACgkQ808JdE6f
XdnnbBAAi3HgZFJGH3iqhC+gh7sy3aPkLlWDt0WZfPjmBIeqLib37ukKBdk3zn/7
c6RFkDg9giBO7I7atvs+irYjG309z4dbD1qfWbcASMWBeKS69IhMxg5WIZlQ8eFy
/9RO7DTkSwVxbOK9/jEamkv4uw5WxdRrFc9kwTUVWM2gqFo47zOUN7dwt29iXsKU
SVmfR5x8Pv+h2f87XMrk5779iLf8LEMlflsqmdhKN6bYix6qmok3EjroJIE0lHsF
a7Qxqh1NtrmH/UJKBlGwRaYcvwOe3gk0dEnOeaKD/Rf+YeEjJoQWtpm3Omw9QVuk
bVyWfSapfcxYVBPj//KkQAYaStIx/1aZjSy9mmbMGM9syjGAWwtlYC4nViBmUvpO
9ytFR9npgJcADAxfqEO2kCJ00uwxpC/lxhqO1blv61w5eYm0xWQXV3VsaVSymb+w
ImKPXpVMXH9QqRxU15XNmM/ec9Y+LBa5nbPMfQFiJK+Yryjr8haoP3PlWMZEVTf7
GgD8z8+y5gDYioAdg4QPIcRfLF0hJPZfxSILybRmfpI76a4sR5nIsJOjIu0/y1+5
CsrtheZ9q6t+aqDUkWaZ19r58FOiJcaG1rNUsdsvCY7ynqEd6AyqUpeNXcqTnCwR
jKbxmoQ4OvrN1sjLabWaDT39f2YQ2Z4mCjbDa1ec80Ow/zY9nmI=
=O3Pf
-----END PGP SIGNATURE-----