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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.17-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:
 e6f3e473361b5c7585511587729ee0fc587052b4 908619 coq-hott_8.17.orig.tar.gz
 f7108bcf9d788454e5cdd443fd0737166da003f3 2668 coq-hott_8.17-1build1.debian.tar.xz
Checksums-Sha256:
 31e072757fa037b24316a466a8533da5b24dbe9549e17de17ef0d75cdb4e3d4c 908619 coq-hott_8.17.orig.tar.gz
 97a5f8b00fed019f86429d26cb7dcfa44a84d6cf4c8e33aac3fba1b732637ca5 2668 coq-hott_8.17-1build1.debian.tar.xz
Files:
 0990129003de98db86d291f947e3e016 908619 coq-hott_8.17.orig.tar.gz
 c22192f86fdf427b4443bb585fbe0486 2668 coq-hott_8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAquoACgkQ808JdE6f
Xdm0ww//ZSk1UlFEGTn+dFaixtm/QKlIDOxiLdV0Su0rnq5BXc3cLhKUECW35ZgZ
YS18sv4sFsllp6m9WogfykregjYk3ufye8eWpcVvOrVr1qyPadYeaN9l2z3KVHgi
kjR6rmP/tOE6sYSUVvr3U+7Lec/eDhl/Fd5iftKz0QGrwKDf4h+lQPT+3BT5qNkC
X1DzSBYbCsWzkfX96aq3RBwU/ve3lqvZu3ZPMfIzVEucX4vObZ63caLmvcecuAKp
SQbqee98iTpxG76qOPF06BqmIamhuFEuwUrRtkE0IDrnOyfQTdztLT5sXuv809Xo
l2cvsA9i9ts3LAKYg8AVlKXx2ogfvKQWls2W9RG9Y8Y4JtA3tWaKFhE02l8rpzMv
gYvvmlsfvSW17DRK0GMUbG0/k/L4eIK6fnWiOlsCsVAkoJ3AKSqkd1TXks+xu+L/
DdRL/gufr6gHtUHi6G5wL4qH8uWav2j/ji4SvYE6WEhX2k4HTQMpPsNfbMCt0fe2
NHOU2xZqmdihHNUaTLyLFCkmVLTUQpdGSPbw5HgQ46FIGfb98X3VPomtTBVvEpMA
EQYLigz0hQnu9zCSPVShWNftap5tvIN7qlnfT5Xy7XjJ7eQnDzovH3Qqa454dgyV
5GXCDfcRWqyjxrlEnJTflMrDC4noCDtutY2PsyceQexQ12KCFcM=
=/Wiq
-----END PGP SIGNATURE-----