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

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