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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.16-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.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
 7b26d1780b71ff79460e1e6fe606fa9f1bdc9166 2612 coq-hott_8.16-1build2.debian.tar.xz
Checksums-Sha256:
 4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea 868101 coq-hott_8.16.orig.tar.gz
 31a4fc596821ca65088d43a00606ca8dd730a5bb948eebdd494de8550df4db95 2612 coq-hott_8.16-1build2.debian.tar.xz
Files:
 70864b137dfd68b412f803a487367bf7 868101 coq-hott_8.16.orig.tar.gz
 72808505ed76a3cbca4b54874f5441b8 2612 coq-hott_8.16-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBW0ACgkQ808JdE6f
Xdnl8A//YDrzAtCIqXpQMyFVD5FbOQ7y/MG9wNO/4N1rs04JeoGhGwtNN+3AZFmh
CDQHdEzClBs0da63/A37NehiuRLozx5aazaPyZU0RxUsfXBOiv+ujxfQ5/r5ohyh
kA375N/lUKzgWzmDgHCm7mzpEs2FkINZbzFVZ+cfCth+xcUXWcAX7RFPQVKYqX8H
m/jLe0tXYyWVdcmv6FHEyDvonan6fpUmOebP2dQLY8Cjf1SOz6MyArVuqNcr8l4P
d+OGFKTcA0JBrE9zCTEWe2YtUXb4spTqCL1Q+ZFvxeXeQP+fCwXMd4OpvldhObqr
H8mYZAzh+lUS2qKXO220fPsvfb29Nm7UZDFIsBut5Z1O9xcn6BJ2p77pHySadmqI
rHsmZ3e2uF7Q71VEE0MQXNv84oJLFj+SO4xshWNkOLl5SiiGe4zC7bf8vNHcEQcX
K9Kp1zxkIgqBg5ki8KQkuuo/RPQWRy0qC0q3xk5LFqpD0wEb4nVlpjAA2y5btPH1
noyz/fgS4wGu/I0U/IHDKRfW9hi/48qdX1rkzRkqMxXbrMR6gPD/74QHNwy1DjbE
FwkRtdhAHBF4746kyYAAws4mr25mxaz5uo0cNrszEdu/AKWMRPOV8meW4qq7b6P6
d++5mSfobiM4eP1JK8aEJugVulGG8JnlI6LKqX7B+rlLTqdWAoQ=
=szo3
-----END PGP SIGNATURE-----