Package: libcoq-hott
Architecture: amd64
Version: 8.18-3build4
Priority: optional
Section: universe/ocaml
Source: coq-hott
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 114993
Provides: libcoq-hott-9saq0
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-hott/libcoq-hott_8.18-3build4_amd64.deb
Size: 14458730
MD5sum: c218e7297bfff7d5f7649ccfbfc07b7e
SHA1: 042075367a2b7d10c148d2cd5fdf5d68446e1e70
SHA256: b20ef5f9c9df29a9c949112b4b91c9531d265c853df1fda95fde365a74991e3b
SHA512: c4aa69c0cbaada0451b936960d561b948f0eb125b31527f8a7c0539667b3ba3b7d4a7c459e9066326bf20764da90d74ddd234e3b690151dc5a603b682252776f
Homepage: https://github.com/HoTT/HoTT
Description: Coq library for homotopy type theory
Description-md5: 5c56dd9ef75fce82fc2150b322df3d18