Package: libcoq-hott
Architecture: amd64
Version: 8.19-2build3
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: 163899
Provides: libcoq-hott-ume73
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-hott/libcoq-hott_8.19-2build3_amd64.deb
Size: 16194712
MD5sum: 3489adb31a55625e61a3953ee763b50c
SHA1: 29e2485e908ddcbdccad80e58aa88a4d8791748b
SHA256: e658b201642e517d5bd8b83842a505f5ead906910f6557593d72e22515bbe668
SHA512: ecf514fe757ca39ee07d0ff287ec3de924e96f33ffcebc9f9cbe5d428b6fbcb171fcaa724ac18f18c4db4259f1aa0d2ae7a7343e0d0b4db0fb1623532bd12d4f
Homepage: https://github.com/HoTT/HoTT
Description: Coq library for homotopy type theory
Description-md5: 5c56dd9ef75fce82fc2150b322df3d18