Package: libcoq-mathcomp-classical
Architecture: amd64
Version: 1.9.0-1
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: 13132
Provides: libcoq-mathcomp-classical-ovga5
Depends: libcoq-elpi-wljb8, libcoq-hierarchy-builder-6dkl6, libcoq-mathcomp-algebra-tliv7, libcoq-mathcomp-field-e82p1, libcoq-mathcomp-fingroup-jjio0, libcoq-mathcomp-solvable-umuo5, libcoq-mathcomp-ssreflect-rrbv4, libcoq-mathcomp-bigenough-ayzm7, libcoq-mathcomp-finmap-ggpp5
Breaks: libcoq-mathcomp-analysis (<< 0.6.4)
Replaces: libcoq-mathcomp-analysis (<< 0.6.4)
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-classical_1.9.0-1_amd64.deb
Size: 3857222
MD5sum: 3144610a266368e06d3b4157d6ca81e5
SHA1: 43093ddef4c3211e4ae258ecbee648f65b56ee05
SHA256: 49d7c6904c7270d657a40340c13e273ba9799a5be7feab371c79b3658d795d14
SHA512: e631d7434ea918fd7a9a87f383671d83604e1e18fa84d38dc7132aab29f1a800111eecf607cf2881eda47de56eb007956a3fc52c8ead1bf3a99a8166c1a83797
Homepage: https://github.com/math-comp/analysis
Description: classical logic extension for Mathematical Components
Description-md5: a4708978f6d7d8ef4c3d90a421358ea6