Artifact libcoq-mathcomp-finmap_2.1.0-2+b5_amd64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcoq-mathcomp-ssreflect-a0z52
  Description: |-
    finite sets and maps extension for Mathematical Components
     This package provides an extension to manage finite sets,
     finite maps and finitely supported functions extending for the
     Mathematical Components library.
     .
     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/finmap
  Installed-Size: '3306'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-mathcomp-finmap
  Priority: optional
  Provides: libcoq-mathcomp-finmap-s57j6
  Section: ocaml
  Source: mathcomp-finmap (2.1.0-2)
  Version: 2.1.0-2+b5
srcpkg_name: mathcomp-finmap
srcpkg_version: 2.1.0-2

File

libcoq-mathcomp-finmap_2.1.0-2+b5_amd64.deb
Binary file libcoq-mathcomp-finmap_2.1.0-2+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-finmap_2.1.0-2

BETA