Skip to content
Sections
>> Trisquel >> Pakete >> aramo >> Quellcode >> misc >> mathcomp-analysis
aramo  ]

Quellcode-Paket: mathcomp-analysis (0.3.13-1)

Links für mathcomp-analysis

Trisquel-Ressourcen:

Betreuer:

Original Maintainers:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
libcoq-mathcomp-analysis
analysis extension for Mathematical Components

Andere Pakete mit Bezug zu mathcomp-analysis

  • build-depends
  • build-depends-indep
  • adep: coq
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: debhelper-compat (= 13)
    Paket nicht verfügbar
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: libcoq-elpi-ocaml-dev
    Coq plugin embedding Elpi (devel)
  • adep: libcoq-hierarchy-builder
    build hierarchies of algebraic structures in Coq (runtime files)
  • adep: libcoq-mathcomp
    Mathematical Components library for Coq (all)
  • adep: libcoq-mathcomp-bigenough
    epsilon - N reasoning for Mathematical Components
  • adep: libcoq-mathcomp-finmap
    finite sets and maps extension for Mathematical Components
  • adep: ocaml-dune
    composable build system for OCaml projects

Download mathcomp-analysis

DateiGröße (in kB)MD5-Prüfsumme
mathcomp-analysis_0.3.13-1.dsc 2,1 kB 20732878e86bdaec1c485f10f2c1a3b3
mathcomp-analysis_0.3.13.orig.tar.gz 501,2 kB ab04c94e8db5319b6630358393eec3b7
mathcomp-analysis_0.3.13-1.debian.tar.xz 8,1 kB 5994a6a75efa85b2b1fc726ddb2c24c4
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/ocaml-team/mathcomp-analysis