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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.19-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.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:
 9b908e9846051dd0e1dff7c8e0cad950e5cd22c0 983985 coq-hott_8.19.orig.tar.gz
 098f0a83dbe580bfc302d221518d0822748c8490 2908 coq-hott_8.19-1.debian.tar.xz
Checksums-Sha256:
 b11a1898e751d76d3ff5fe1bc9c8ab55ebe48762835ad6a472db28cb958111b6 983985 coq-hott_8.19.orig.tar.gz
 b6b063748f632e66d0464868831d5f9bea80ff6bbb640c8b6da8ef7f9925eeb6 2908 coq-hott_8.19-1.debian.tar.xz
Files:
 6066b30fa266e20701d00f360a43a174 983985 coq-hott_8.19.orig.tar.gz
 20af0df3ffac297439b86598c8c5b807 2908 coq-hott_8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0PASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBs0QAJkvbUPfiBUBX4ANEYC5yh47Gm8FfmJv
fAiwu5LwlB9Zq/XaFX5Mv8KDqtV1SO93GRitNlB2WRmUezlivYEx/YDyRx7bPJOn
XuK7A+KeKOZzmgXuMF4tM6ciIAgNjNx4hP2EhaYHayNdfcvOI7QVFixAHuKA0rVz
Kbbek3OWfo+VNDWOxz07ZI2RT21+WKeKg5q+L64W6x6P7R4ICMsboZ6L6gnXYVTy
oD9Av1XOknVNsBDetWuSk5oZ9ZDl37AHY2qouExC6Np2MI5RPByMU/maaayTvq+G
jgABOhqc/s7Qao/5AHNsQSHtHA52+1LbpoSj0Ke5bTS/KRYwSr8abWoAllZZT2+V
/YCSgHUo8BWa1TkMjdyqvmtBw8E4xZGWq5i2SwCxMLboT5NqqCzuOA1ERP8tCCRg
pcjrbKLEG/MMRPQkKV72Kt+EVIB4/TnpjCgDJCMtFtrLW+h2Nc7dQpp1jE3vpAnR
Ow6fw2AIVtAUqVJPj00ojtD2MHJNFHfrvgHIJfVJ0OlrfGZBUKhLNou5Twb3u68e
oiiSJ2tgMhIRvhCQLwiQG72a6vjenQLzTz3GheUr7GJ52PoES84dVzLW3TgJ9ig8
i1HH2ijEuk8KPBIMR2fMUyAoAHPtCmqv2zecP8H8AdLckzR4NB8LpSfkNuidzDX/
z6LOXWB+Hlly
=+vhn
-----END PGP SIGNATURE-----