[  aramo  ]

Odkazy pre mathcomp-finmap

Zdroje Trisquel:

• Hlásenia chýb
• Changelog
• Autori a licencia
• Zdrojové úložisko Debianu (Git)

Správca:

• Debian OCaml Maintainers (Konferencia)

Original Maintainers:

• Debian OCaml Maintainers (Konferencia)
• Julien Puydt

Externé zdroje:

• Domovská stránka [github.com]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

libcoq-mathcomp-finmap

finite sets and maps extension for Mathematical Components

Ostatné balíky súvisiace s balíkom mathcomp-finmap

build-depends

build-depends-indep

• adep: coq

  proof assistant for higher-order logic (toplevel and compiler)

• adep: debhelper-compat (= 13)

  Balík nie je dostupný

• adep: dh-ocaml

  helper tools for maintaining OCaml-related Debian packages

• adep: libcoq-mathcomp-ssreflect

  Mathematical Components library for Coq (small scale reflection)

• adep: ocaml-dune

  composable build system for OCaml projects

Download mathcomp-finmap

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
mathcomp-finmap_1.5.1-1.dsc	2.0 kB	71961bda9b4f7ba04fa3051311268b05
mathcomp-finmap_1.5.1.orig.tar.gz	62.3 kB	65b16ece6ba65b44e24d55b33d50803e
mathcomp-finmap_1.5.1-1.debian.tar.xz	8.1 kB	9fecb322b866c32bda8348f95b3ace54

Úložisko zdrojových balíkov Debianu (VCS: Git)

https://salsa.debian.org/ocaml-team/mathcomp-finmap.git

Úložisko zdrojových balíkov Debianu (možno prezerať)

https://salsa.debian.org/ocaml-team/mathcomp-finmap