Artifact libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_arm64

Metadata

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libcoq-mathcomp-algebra-a7rh2
  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: '869'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-mathcomp-zify
  Priority: optional
  Provides: libcoq-mathcomp-zify-mq230
  Section: ocaml
  Source: mathcomp-zify
  Suggests: ocaml-findlib
  Version: 1.5.0+2.0+8.16-4
srcpkg_name: mathcomp-zify
srcpkg_version: 1.5.0+2.0+8.16-4

File

libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_arm64.deb

Binary file libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_arm64.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-4