Package: libcoq-equations
Architecture: amd64
Version: 1.3-8.19-2build3
Priority: optional
Section: universe/ocaml
Source: coq-equations
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: 7718
Provides: libcoq-equations-cv918
Depends: libcoq-hott-ume73, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-equations/libcoq-equations_1.3-8.19-2build3_amd64.deb
Size: 1359062
MD5sum: f4537e2ee11ed6a3824eb505ca507cf2
SHA1: a1da66203bd5100084ac7e563b5ef386e12906b5
SHA256: fc65996a0d13758a89e43966bc63c06604b6b2d94f64710350bc0ac3a261c500
SHA512: ff3b2a84636f770a578a38ffd44772a844643dc918551111139cd92c3b0e649489d1795e52683aa3c1d542c8170c75cbb534a07533323873ff487fd9cb1f2e59
Homepage: https://github.com/mattam82/Coq-Equations
Description: Coq library to work with functions defined by equations
Description-md5: 33a517ad7548092fab1b723f4ca09c95