Package: libcoq-mathcomp-analysis
Source: mathcomp-analysis
Priority: optional
Section: universe/ocaml
Installed-Size: 70026
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.9.0-1build9
Provides: libcoq-mathcomp-analysis-74c85
Depends: libcoq-elpi-m4al6, libcoq-hierarchy-builder-trjw2, libcoq-mathcomp-algebra-stlv8, libcoq-mathcomp-field-xshv6, libcoq-mathcomp-fingroup-2sga4, libcoq-mathcomp-solvable-qvx59, libcoq-mathcomp-ssreflect-ak300, libcoq-mathcomp-bigenough-jvyd2, libcoq-mathcomp-finmap-a6x16, libcoq-mathcomp-classical (= 1.9.0-1build9)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_1.9.0-1build9_amd64.deb
Size: 19935670
MD5sum: b283ef2d3df1e4c81d92bf2eb3fff8f2
SHA1: 2edb613dde4698068bb50586ac33a191bfa5ead2
SHA256: d9b263b491be08fb32941932b2a3c2750405e07008cd3b9c08290dffd1e0be9d
SHA512: f38265931684d3feb36e4ed313312b3f9ca5b938b3818679b499da6d69b6c243335fa2cba05f67d1e5b0d19fdecbd2cc24fb966b9fa78452e8cc05583c7e0298
Homepage: https://github.com/math-comp/analysis
Description: analysis extension for Mathematical Components
Description-md5: 17ca6253f8d79f552f583a9d3bacf467
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug