Artifact libcoq-mathcomp-zify_1.5.0+2.0+8.16-3+b5_amd64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcoq-mathcomp-algebra-j56u2
  Description: |-
    Micromega arithmetic solvers for Mathematical Components
     This package enables the use of the micromega arithmetic solvers
     of Coq for goals stated with the Mathematical Components library,
     by extending the zify tactic.
     .
     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/mczify
  Installed-Size: '1333'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-mathcomp-zify
  Priority: optional
  Provides: libcoq-mathcomp-zify-flhh2
  Section: ocaml
  Source: mathcomp-zify (1.5.0+2.0+8.16-3)
  Suggests: ocaml-findlib
  Version: 1.5.0+2.0+8.16-3+b5
srcpkg_name: mathcomp-zify
srcpkg_version: 1.5.0+2.0+8.16-3

File

libcoq-mathcomp-zify_1.5.0+2.0+8.16-3+b5_amd64.deb
Binary file libcoq-mathcomp-zify_1.5.0+2.0+8.16-3+b5_amd64.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package mathcomp-zify_1.5.0+2.0+8.16-3

BETA