Artifact libcoq-coqeal_2.0.3-1_arm64

Metadata

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libcoq-bignums-hgqu6, libcoq-mathcomp-algebra-a7rh2, libcoq-mathcomp-multinomials
    (>= 1.6.0), libcoq-mathcomp-real-closed-a1o23, libcoq-paramcoq-hrk41, libcoq-stdlib-z3q11
  Description: |-
    algebra and data structure algorithms for Coq
     This library provides developments in algebra (including
     normal forms of matrices), optimized algorithms on
     MathComp data structures, and a data representation change
     framework.
     .
     Coq is a proof assistant for higher-order logic, and MathComp
     is a large set of mathematical theories for Coq.
  Homepage: https://github.com/coq-community/coqeal
  Installed-Size: '18468'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-coqeal
  Priority: optional
  Provides: libcoq-coqeal-8vmc4
  Section: ocaml
  Source: coqeal
  Version: 2.0.3-1
srcpkg_name: coqeal
srcpkg_version: 2.0.3-1

File

libcoq-coqeal_2.0.3-1_arm64.deb

File too big (4.9 MB > 2.0 MB): you can view it raw or download it instead.

Relations

Relation	Direction	Type	Name
built-using		Source package	coqeal_2.0.3-1