Package: libcoq-coqeal
Architecture: amd64
Version: 2.0.1-1build5
Priority: optional
Section: universe/ocaml
Source: coqeal
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: 20115
Provides: libcoq-coqeal-dphi6
Depends: libcoq-bignums-zm213, libcoq-mathcomp-algebra-kgjy6, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-0snp4, libcoq-paramcoq-rszc1, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coqeal/libcoq-coqeal_2.0.1-1build5_amd64.deb
Size: 5510748
MD5sum: f534ac4d3fe93ec24a6ae9ae20ecd0ba
SHA1: 83825472469740322cd97a15d179f48640bc1964
SHA256: 99dcd03db70bc94e054f01180952f581bbc5d854b66ccf6b88ab8b1749bcc9f2
SHA512: d05e1599461a6959461d06f4d0ba34b32717a9eafbd0e40083eb0f0d2894aa680069a93f9a590762b1fd5a81811a1cbeb6e2dc1266c6300ef0f4df358dc22c2e
Homepage: https://github.com/coq-community/coqeal
Description: algebra and data structure algorithms for Coq
Description-md5: 679e37449b4daa031c64c87f9b5334b5