Package: libcoq-coqeal
Source: coqeal
Version: 2.1.0-1build9
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 22034
Depends: libcoq-bignums-57pi5, libcoq-mathcomp-algebra-stlv8, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-rfir4, libcoq-paramcoq-chyr3, libcoq-stdlib-83lq0
Provides: libcoq-coqeal-8kdv4
Section: ocaml
Priority: optional
Homepage: https://github.com/coq-community/coqeal
Description: algebra and data structure algorithms for Coq
 This library provides developments in algebra (including
 normal forms of matrices), optimized algorithms on
 MathComp data structures, and a data representation change
 framework.
 .
 Coq is a proof assistant for higher-order logic, and MathComp
 is a large set of mathematical theories for Coq.
