Package: libcoq-coqeal
Architecture: amd64
Version: 2.0.2-2build5
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: 21389
Provides: libcoq-coqeal-cpy43
Depends: libcoq-bignums-baxl6, libcoq-mathcomp-algebra-lyc29, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-26br5, libcoq-paramcoq-h7062, libcoq-stdlib-dksn3
Filename: pool/universe/c/coqeal/libcoq-coqeal_2.0.2-2build5_amd64.deb
Size: 6004802
MD5sum: 13a81695702ecc02ef277e41c6e53059
SHA1: 2d89d713a7affed8481bd14ee0582e5cc29f39d3
SHA256: 0181dc468186f00544b1b678211547726ca21ec1492ba9127237a4d5c78f181e
SHA512: 491fab9479dcc09eac5c31491540893d4a91e50e323357a312d876c2d2c2cff87a684d567a004b783a0507279f6d511f4840c25f6b06b0f37123a613c6f463ae
Homepage: https://github.com/coq-community/coqeal
Description: algebra and data structure algorithms for Coq
Description-md5: 679e37449b4daa031c64c87f9b5334b5