Package: libcoq-coqeal
Source: coqeal
Version: 2.1.0-1build3
Architecture: arm64
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-3rff6, libcoq-mathcomp-algebra-owqi1, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-ou8l2, libcoq-paramcoq-jjbv9, libcoq-stdlib-wwbk6
Provides: libcoq-coqeal-6v7n8
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.
