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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.16-2build2
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-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 820723b59c6ba448b2382c01e60cfd889e8ae23f 868101 coq-hott_8.16.orig.tar.gz
 76d00277b8a4375e7b65111a2a5b8894c9add162 2648 coq-hott_8.16-2build2.debian.tar.xz
Checksums-Sha256:
 4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea 868101 coq-hott_8.16.orig.tar.gz
 8c728952fc30b158ac95ca04af902e0d3f7a707f431f3b127cacd8211c92052a 2648 coq-hott_8.16-2build2.debian.tar.xz
Files:
 70864b137dfd68b412f803a487367bf7 868101 coq-hott_8.16.orig.tar.gz
 1f006b3fb4617eb640029fdb0d6af783 2648 coq-hott_8.16-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPuddQACgkQ808JdE6f
Xdnx+RAAshR613ZhrSg6P5vTauY7+AzNbUyLv/5jbB1rOZwffip8M3oKkrwSv2JV
Zhl9r2h4hq6WFZ0d1Y7Cbc+7HbeVs2nBeuiOYGHn6LyYrq5VpQD6cNkqbxAFBiy/
ujU+bz7L08ppnwhCnwW4yOv7E3lMuUDkuCd3W2yViyvdSFHbES2QUT2M47gqyTC3
ZB0mwZwhrV1F0UmQp801A0IC7fp/n+/hTBn9j0dAzWBMkcyNiu54Vkv2WFhwLT9P
YAeGBzFg3q74ArK4QFLoDevFHJh01wHBrlpFd2Djya36QJSNooFWJATW3lITnyRh
5i3dtsoEtxj7WNvixHviN152s97MpAzrBdHtr3OEwwlmB/ttSIuYLdB1u4Fd5bvZ
Pn14wjBm79RYJ96Qq0ZQviQodd8yTgTbt5CJy93x7rmimCwLbJpZnssJrynMDuo+
UJDI8u+8bM+h6GE/DtdcXYLrCulCGpeAZ2g6Um9xdnB2umtJ32MJc6JeayNX6ckn
cjy/01xEqa3rWa7/EhBkdcD0MfSsKZ2+RYRPLIjv283re2JSX91HP//6asIMReqJ
gZi7s0iyAhSULDbwsdMLQq0hHhP7mOYNXQeChf/1rLrGu5qa+TWC63m0bK9elGpg
hOhLxc77qSz2jFlubuubh9N15esY4UxpgCjXqfaCwWAMKC1mrGY=
=eKXS
-----END PGP SIGNATURE-----