Package: libcoq-mathcomp-classical
Architecture: amd64
Version: 1.0.0-1build4
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: 9043
Provides: libcoq-mathcomp-classical-zwb38
Depends: libcoq-elpi-wqat9, libcoq-hierarchy-builder-4bui3, libcoq-mathcomp-algebra-kgjy6, libcoq-mathcomp-field-p0n73, libcoq-mathcomp-fingroup-5g6n4, libcoq-mathcomp-solvable-9o3w0, libcoq-mathcomp-ssreflect-y5tl2, libcoq-mathcomp-bigenough-zlev0, libcoq-mathcomp-finmap-iofh4
Breaks: libcoq-mathcomp-analysis (<< 0.6.4)
Replaces: libcoq-mathcomp-analysis (<< 0.6.4)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-classical_1.0.0-1build4_amd64.deb
Size: 2462046
MD5sum: eb94d700b9d1cb8c43a66d7fbb7814e5
SHA1: 4547bb22eb1dd1d541b923e61ab2987a1c100037
SHA256: 9e010d8e7eea07a12f2984eaf616474f3a785e89e580a33699e1b2bb99a91b22
SHA512: 9854927a1ac07d3de7ae44c67928efb376b1226e365eafa154f51ab66bfbae9632fddc6e1916f3ba77d4405957972bfa53a93f253a981d479bd807ecbcc8f5af
Homepage: https://github.com/math-comp/analysis
Description: classical logic extension for Mathematical Components
Description-md5: a4708978f6d7d8ef4c3d90a421358ea6