Package: libcoq-mathcomp-analysis
Architecture: amd64
Version: 1.2.0-2build6
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: 56212
Provides: libcoq-mathcomp-analysis-aluu6
Depends: libcoq-elpi-dsxd7, libcoq-hierarchy-builder-hjz07, libcoq-mathcomp-algebra-lyc29, libcoq-mathcomp-field-fkv40, libcoq-mathcomp-fingroup-bomg7, libcoq-mathcomp-solvable-83hj2, libcoq-mathcomp-ssreflect-uyii6, libcoq-mathcomp-bigenough-hsws4, libcoq-mathcomp-finmap-v63b4, libcoq-mathcomp-classical (= 1.2.0-2build6)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_1.2.0-2build6_amd64.deb
Size: 15883702
MD5sum: 7a43ea04cb53fb181f9195d18ca512cb
SHA1: ac4df0661d1389af58c919f9da8069e7e0723dab
SHA256: 9266bdeec673b3028a2192472ececeaf9f465d8b5cb0b40194c38a8272b0b461
SHA512: 387162c44f8c30b5e93d80b0a1b028b3edcc07f2060aa82acbe3551b79af6a936141541ac2edaf546d744ac5049465274e5dca7a1f3986056750511051866b74
Homepage: https://github.com/math-comp/analysis
Description: analysis extension for Mathematical Components
Description-md5: 17ca6253f8d79f552f583a9d3bacf467