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

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcoq-mathcomp-algebra-q0eg9
  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: '887'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-mathcomp-zify
  Priority: optional
  Provides: libcoq-mathcomp-zify-475r3
  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+b6
srcpkg_name: mathcomp-zify
srcpkg_version: 1.5.0+2.0+8.16-3