Package: libcoq-mathcomp-analysis
Architecture: amd64
Version: 1.0.0-1build4
Priority: optional
Section: universe/ocaml
Source: mathcomp-analysis
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: 55452
Provides: libcoq-mathcomp-analysis-kj774
Depends: libcoq-elpi-wqat9, libcoq-hierarchy-builder-4bui3, libcoq-mathcomp-algebra-kgjy6, libcoq-mathcomp-field-p0n73, libcoq-mathcomp-fingroup-5g6n4, libcoq-mathcomp-solvable-9o3w0, libcoq-mathcomp-ssreflect-y5tl2, libcoq-mathcomp-bigenough-zlev0, libcoq-mathcomp-finmap-iofh4, libcoq-mathcomp-classical (= 1.0.0-1build4)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_1.0.0-1build4_amd64.deb
Size: 15900802
MD5sum: 66ac38daffa891f35a96a01a4d65a5aa
SHA1: 3070498594ff5640002d9350e27d4ae974177fc5
SHA256: 2f181754e624b52644ae91c450390984dd648d13d33c44b7132e0fef9142d359
SHA512: 0f49ed32d0a24edefd4545d5697183e631cc80ad8194dd0ffde8d24830f9859b9a160bb1be0111dd760a0a5ecb215c195771aa020053adc2ffc7a68349fe1774
Homepage: https://github.com/math-comp/analysis
Description: analysis extension for Mathematical Components
Description-md5: 17ca6253f8d79f552f583a9d3bacf467