-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.16-2
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
 e5b4373ca265f5ad58fd2de53906ce324a04fc7c 2568 coq-hott_8.16-2.debian.tar.xz
Checksums-Sha256:
 4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea 868101 coq-hott_8.16.orig.tar.gz
 8f9598ca8c9eade7768472185220daeee59eb1e47536bc32507f4af549ff5d30 2568 coq-hott_8.16-2.debian.tar.xz
Files:
 70864b137dfd68b412f803a487367bf7 868101 coq-hott_8.16.orig.tar.gz
 e5892d134df1eaf6988b60d436030d6c 2568 coq-hott_8.16-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ02YSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnXoP/1HhK62sWDp6ZwmLw9BoqLSxnvp3aTyw
tFXCPOefjskk4FP/DyxcvJo/kSFyjV1XWBNJD6QDNSuML4edDrz/Z8mg2ZwDKPxJ
khM+FF9QVlYrrnOguEShugKyttc/BUNIfp2RSA1lsyIGHO2I8IGp/DV5QNdSWfKU
8bRj6yG1DgKOhkkXpx/+12uYkTKwH3gg8K1Qu3jZjKggZNjIVbEV9ccqUWzzNwP/
oEybZ3xQabvcMj2FbHVseW38ozfPaK6+41Q5vl98ixoCCwA/JbyhywZPuIDzH4PY
BxjhjKYiFbh9HpUT9uPoTetzw/hjYflteJlLmGDQk/HwfchTuTYIWnVXgvLNO+zo
eXNAn4yaF9V2aODJkbtKtiOdbUlfWo7f0q9vfvsW41B6s7HM1KuF8auSWRndTtoN
pc7X0htZVpQXTOOYJsrwe13iZy3i8cgwPZXsLGzrUzMJRBOdcobJwazsxCE/Ya9x
cQ5sh4Row2d11Z60ClFfJV1tLso+YWnqokk5syNKPq2hCDg66jT88emWWsXLaCbD
PexiXSeYTjKkQVALLmmS79HYDpEw5BjIkzO9DOBRI6DYzIsan7ym9NNsvfZby2NU
lQWfAvCmtMRfVj+NlnUIE0sPMvlS83RIsA4/uevFsonb9qEHT1Z1dwjhUjjXdVq4
bMLPPeqIYj4P
=Txl2
-----END PGP SIGNATURE-----