Package: libcoq-mathcomp-analysis
Architecture: amd64
Version: 1.9.0-1
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: 70035
Provides: libcoq-mathcomp-analysis-lchi2
Depends: libcoq-elpi-wljb8, libcoq-hierarchy-builder-6dkl6, libcoq-mathcomp-algebra-tliv7, libcoq-mathcomp-field-e82p1, libcoq-mathcomp-fingroup-jjio0, libcoq-mathcomp-solvable-umuo5, libcoq-mathcomp-ssreflect-rrbv4, libcoq-mathcomp-bigenough-ayzm7, libcoq-mathcomp-finmap-ggpp5, libcoq-mathcomp-classical (= 1.9.0-1)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_1.9.0-1_amd64.deb
Size: 19957158
MD5sum: 05f63cc703f5624c84e6a2e58d16ede7
SHA1: 18912314cb71f0bd3d863f6939b14d65282a01b0
SHA256: 7b71d3266a2a101aafd68e053a00146c3effe94240115f9fdb284ea61aa21ddf
SHA512: 34bf750b11e372307ea0d99aaed3fcd53ecd6e264b5a73e345d394d6b77c766b7aa69bf0d6b89eb246be6d208b139818785cb363bc599d6254781ff7ad4904a4
Homepage: https://github.com/math-comp/analysis
Description: analysis extension for Mathematical Components
Description-md5: 17ca6253f8d79f552f583a9d3bacf467