Package: libcoq-equations
Architecture: amd64
Version: 1.3-8.18-1build3
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: 8754
Provides: libcoq-equations-d3923
Depends: libcoq-hott-9saq0, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-equations/libcoq-equations_1.3-8.18-1build3_amd64.deb
Size: 1591704
MD5sum: 8c85df3c9eb26f35ea9fbac75ac49327
SHA1: e409945260ad2cb863fb7af77b49d76cce148c3f
SHA256: 6eabf5102792d9aee7924e90e9e34c058bd304308be94f9dbe1f44062a095e31
SHA512: dc9044d6450949f59cd22f4bb92a47a2c8f1bd0d7c54b79267159bce90dc612080ab54d4c93c226bfb4fbea0f4d9ad8dd97cc20f2ab031c574ab09acb4696573
Homepage: https://github.com/mattam82/Coq-Equations
Description: Coq library to work with functions defined by equations
Description-md5: 33a517ad7548092fab1b723f4ca09c95