Artifact libcoq-mathcomp-real-closed_2.0.0-3+b5_arm64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libcoq-mathcomp-algebra-1mhm6, libcoq-mathcomp-bigenough-4g960, libcoq-mathcomp-field-z3ge6,
    libcoq-mathcomp-ssreflect-st8x3
  Description: |-
    Real closed fields for Mathematical Components
     This library contains definitions and theorems about real closed fields
     for Mathematical Components. It includes a construction of the real
     and algebraic closure (with a proof of the fundamental theorem of
     algebra). The decidability of the first order theory of real closed
     field, through quantifier elimination is also established.
     .
     The Mathematical Components library is a coherent repository of
     general-purpose formalized mathematical theories for the
     Coq proof assistant.
  Homepage: https://github.com/math-comp/real-closed
  Installed-Size: '10261'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-mathcomp-real-closed
  Priority: optional
  Provides: libcoq-mathcomp-real-closed-1zwn6
  Section: ocaml
  Source: mathcomp-real-closed (2.0.0-3)
  Suggests: ocaml-findlib
  Version: 2.0.0-3+b5
srcpkg_name: mathcomp-real-closed
srcpkg_version: 2.0.0-3

File

libcoq-mathcomp-real-closed_2.0.0-3+b5_arm64.deb
File too big (2.4 MB > 2.0 MB): you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package mathcomp-real-closed_2.0.0-3

BETA