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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.16-2build1
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
 c8e3d111aa23c92febb2af66ee926e3198f90001 2640 coq-hott_8.16-2build1.debian.tar.xz
Checksums-Sha256:
 4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea 868101 coq-hott_8.16.orig.tar.gz
 f96a0f452ac67cc94bd83e266612a455c7908224c3ee7dedadd8529ae1dde1e5 2640 coq-hott_8.16-2build1.debian.tar.xz
Files:
 70864b137dfd68b412f803a487367bf7 868101 coq-hott_8.16.orig.tar.gz
 52bb35b08d0e88726567656836593f2f 2640 coq-hott_8.16-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeXMACgkQ808JdE6f
XdnkWxAA1/wQ8hqSjKbzUdtisjfVamXH8f+qasstTpk4tC5oJFQ8A0+cytusDKzx
26Roidl1X3JNQ6NSZQzQvxojEVpKJqqAcpz/LuDAMSER0CjsSn+H8BUbJq3JTDV1
XUAJuo3BzeeWfIR5G4zPQQUn4loh9sTjYM4J2EYiqInRyIg4si2GUlw1mxsQnFVV
2Ick6qxyX4MMQwWKD6m0s+8gxg++8x5WJx44IFvNLLKLLc5CyL5hE17xwEG+5RhM
1ZFU4jldwFUSETtjU5jtyBoe2XpIER95ZfYH8LOwtrc2rWtZj2hL5zjzjeG1VLGS
mx9ozOlVqdW+/0I3wDzlkZsFFEh0/wgT/XQTth8Rw3cN5E9NeQ6MH5StPHj+6lxX
fmcHkDA13ygtH46W1ZpEp1Trhcj1Ymd06Q2ptxK/o2dzMegj02YeHzFX2xF2lRH3
i7nGGxr3I6LjVBscKv6FsFIkl3rTrxCsMWflbsatiJY6gpl5QQ2Nmno/mjYc3yRX
FM8fa3nLc3xnROz/gHNiJ2CLVhuRKSI+nY0T8sAa8ItigU+kIQsMovJ+nEkFRV1p
uOpmBa+CkiHEbw9EC27D0DPpv+l6vpCgkpjbt1izU/PoyHqQCLpNCagO1HEjui4M
kn4ksmDPVQKBCLQak1kw7T6TD1QizD/CJAkSjZ5c0FmTwX3+skk=
=2nHo
-----END PGP SIGNATURE-----