Package: libcoq-mathcomp-classical
Source: mathcomp-analysis
Priority: optional
Section: universe/ocaml
Installed-Size: 15681
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.17.0-1build1
Replaces: libcoq-mathcomp-analysis (<< 0.6.4)
Provides: libcoq-mathcomp-classical-vyc40
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
Breaks: libcoq-mathcomp-analysis (<< 0.6.4)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-classical_1.17.0-1build1_amd64.deb
Size: 5165126
SHA512: e47da358bb0298d0e1ab4d1cb150b745db9abc51f66b4c73ff30e98cf4dc7605daac6ffb4b620c9085bc3726d1ce93e62924177e62e076a8957939d9729a7d12
Homepage: https://github.com/math-comp/analysis
Description: classical logic extension for Mathematical Components
Description-md5: a4708978f6d7d8ef4c3d90a421358ea6
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug