Package: libcoq-mathcomp-analysis
Source: mathcomp-analysis
Priority: optional
Section: universe/ocaml
Installed-Size: 85602
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.17.0-1build1
Provides: libcoq-mathcomp-analysis-9dzt2
Depends: libcoq-elpi-shov2, libcoq-hierarchy-builder-j6yd2, libcoq-mathcomp-algebra-qptj6, libcoq-mathcomp-field-x5d28, libcoq-mathcomp-finite-group-rije1, libcoq-mathcomp-solvable-8yqw4, libcoq-mathcomp-ssreflect-aj4k8, libcoq-mathcomp-bigenough-oc3o3, libcoq-mathcomp-finmap-kjsv3, libcoq-mathcomp-classical (= 1.17.0-1build1)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_1.17.0-1build1_amd64.deb
Size: 28735064
SHA512: c03cd98a7d73806e37de4dce1b232d1b01e38f81eeb1a1433ac1931eb58ed8600e2703086960082b80937c3f8b568937b24fa41adc722ebc7935572c3f2fcfc1
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