Package: libcoq-mathcomp-classical
Source: mathcomp-analysis
Priority: optional
Section: universe/ocaml
Installed-Size: 13130
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.9.0-1build9
Replaces: libcoq-mathcomp-analysis (<< 0.6.4)
Provides: libcoq-mathcomp-classical-j96k0
Depends: libcoq-elpi-m4al6, libcoq-hierarchy-builder-trjw2, libcoq-mathcomp-algebra-stlv8, libcoq-mathcomp-field-xshv6, libcoq-mathcomp-fingroup-2sga4, libcoq-mathcomp-solvable-qvx59, libcoq-mathcomp-ssreflect-ak300, libcoq-mathcomp-bigenough-jvyd2, libcoq-mathcomp-finmap-a6x16
Breaks: libcoq-mathcomp-analysis (<< 0.6.4)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-classical_1.9.0-1build9_amd64.deb
Size: 3850900
MD5sum: 68018a26d0b0018d8a9e9927029ea649
SHA1: b94d389ac682e9f7bcd46578a304c2b6d255bccc
SHA256: e20323f2c95b828cdf809e777822abfceec87d4054688294aaf61efc6695e43a
SHA512: 43d82a2c526c89ddeabb063e169b176316d1dd54b2a3cb63235e78f2bb1be99543804ad26291392ff042be7aa70384069195d9a0459d08f38fa24d0397918d50
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