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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.16-1
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
 0b0869e05dd8eac7463e2edac22201665b679dd7 2524 coq-hott_8.16-1.debian.tar.xz
Checksums-Sha256:
 4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea 868101 coq-hott_8.16.orig.tar.gz
 26327d03a2b49a71ed0f96e18f5e62c88a7d85ec79fcf84c4947921217bc7c67 2524 coq-hott_8.16-1.debian.tar.xz
Files:
 70864b137dfd68b412f803a487367bf7 868101 coq-hott_8.16.orig.tar.gz
 8b5dfa6b21e2030e4a2027ba0732fa2a 2524 coq-hott_8.16-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWJDcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUQoP/0jbJWnBEwahBwpmKNqbWCuM8+7nOjAc
SqiRkOV2M5MOa7SaUHyHPSE8YoyiZpP2Q+yGGbRQ/OmHZeGhZUkPbMyHSSETtKZq
hcVXUqhZ/OeF646v3ozmgrrebXuarMTjZga8g9W4jKd9EIUWCAX4Nr12jAl1jyVs
UJ58Q02IHpWlEgXYzvP2bgu3a0kLi3hTumOZfErhdrClH+WCezNAwMp5qSLqmzMo
d4T8/5oe14fMyNvMbfOW2SnwqpLKG+4T6VzupYMwgFKef2SdP2gioGzw7X/A5HBt
xa4+bBrb/Pr8efv6Ynu1mMVZsrGSnuX5/0czENk7QjYC+7Sf1MWqshAay1OvnB/G
rVpgDs8aoB1tt1Ba9W74OF7GKrF4Lh+WPXygKQ7+bNoJpHmDgYv2ywcZQ+yPZ/eH
+MH7vYJ6GbzY1bqzpQcm9KwPkqbX3rhRs44UXLnzT90rQI8hH0MkUaXC05sK9ai0
15OGfYv1rbW70AidbuJT81qh/Q2ocIpCuyDsDjz80tLms8bkBrNh9+B/oX9uyVVC
Rr2/2X2v3qNG25UVmUszEA7alL+82cm/LyLI5w0nhIgeQfBOAgbdK8cujRGLdeg9
V05wPATnm/Q4pR2/XyKUkiIIS+/qrzzJgsIxp0I7doaEnZi6+ErK6SAsUioRsale
iMWVaG0IUF9k
=/NCN
-----END PGP SIGNATURE-----