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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.1-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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 40b70101d53bcbf62aa7bf19e0575e61ecd63989 1184742 coq-hott_9.1.orig.tar.gz
 2c40932d9d69d0b09d2d8420dff9f1ab59abf176 2824 coq-hott_9.1-2build1.debian.tar.xz
Checksums-Sha256:
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 a7a2b33da138c929e0e248ed5bc96f22e112d8f7c0306ee83b115a2694ef751e 2824 coq-hott_9.1-2build1.debian.tar.xz
Files:
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 03ae76b6fa7beb199773bd09718cd567 2824 coq-hott_9.1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDKsACgkQ808JdE6f
XdmPWw//ctdt1ijdGRTlBKGsbWxzTSBBjkrsR/T/jkTI9xhRTRco0rs6gCojP09n
g4whiiGa8ARVOpkkLcRcocl+Hucbf3AinW0Lq0hZSw7B7VnSxSOD21gWAbTFe7N/
8P7hFRJF3BPw6KdatNjQ6/pgIzjFwQh5RQ0uRjWgUvtwfrkuc0TKadEeFQoVEJsU
HT6/RdortA2P+IzzQDRTmnn+xQlNY/dgmLe1tL3k3aw5oyVVEN5fan+tJgilPMM6
7sgLekAn8eHvsWDzLW+Wp75qhDuFz6+iIBX1xMjJsqhyjaWBA3N1SmD7/WYcKJ1D
SphclOwXqJW7CHdeLegXsdmUD8xyZi30k7BuJo/6T6X623hMo8+o/0rUj+X3HZ0P
t2WsLX8km6p+vCNK+qrFBMsYk7QjOfR6gRvane8aPvVb4WEgDDgrYuesXtZU47S1
QFswfFiF3J2/A6K03JrX0TbCbXv/u+1HN/1yw/TrogdraLViowW79JmGD4uxoYEV
RGQ/EgLZ190V2pzKMEEWdyCYElj1MuSVQ1v6mkLtBygQBTiYs6huX9YaiARiiY/r
kR2Ae7B71V9/x5JSrJBE+68HrG3Q4Z0/c6+6EQIf1Fvcb0A8biVN7C1Hf4woJM7b
AU+/DnQcswrhh0MpWsKY2Drg/efO1gh7ekIVNhGSxJLipIMqpk0=
=az0h
-----END PGP SIGNATURE-----