Artifact libcoq-mathcomp-multinomials_2.2.0-3+b5_amd64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcoq-mathcomp-algebra-j56u2, libcoq-mathcomp-bigenough-fgvh1, libcoq-mathcomp-finmap-s57j6,
    libcoq-mathcomp-ssreflect-a0z52
  Description: |-
    Multivariate polynomials for Mathematical Components
     This package provides an extension to Mathematical Components
     for monomial algebra, multivariate polynomials over ring
     structures and an extended theory for polynomials whose
     coefficients live in abelian rings and integral domains.
     .
     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/multinomials
  Installed-Size: '6899'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-mathcomp-multinomials
  Priority: optional
  Provides: libcoq-mathcomp-multinomials-nc3k6
  Section: ocaml
  Source: mathcomp-multinomials (2.2.0-3)
  Suggests: ocaml-findlib
  Version: 2.2.0-3+b5
srcpkg_name: mathcomp-multinomials
srcpkg_version: 2.2.0-3

File

libcoq-mathcomp-multinomials_2.2.0-3+b5_amd64.deb
Binary file libcoq-mathcomp-multinomials_2.2.0-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-multinomials_2.2.0-3

BETA