Package: libcoq-mathcomp-classical
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: 10665
Provides: libcoq-mathcomp-classical-kz4v6
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
Breaks: libcoq-mathcomp-analysis (<< 0.6.4)
Replaces: libcoq-mathcomp-analysis (<< 0.6.4)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-classical_1.2.0-2build6_amd64.deb
Size: 2904676
MD5sum: e382de67516c8aab47dcbdc03ce53f00
SHA1: 5a8ceabb3effe241345a9c2adbb58c5bf25ebafd
SHA256: 1e88239c9b3fd5b49b10b98fc7efa106506f36bf380b756ef21d7052b56167b4
SHA512: 178548ff1d0171bc0e0fa3e5c920d60d042877ec913cd29d5f8d6469c6d150249088c6a85be5d6d9675c67abcc2401d810e349672f7d2bb0d0d2631a0bb7991e
Homepage: https://github.com/math-comp/analysis
Description: classical logic extension for Mathematical Components
Description-md5: a4708978f6d7d8ef4c3d90a421358ea6