Quellcode-Paket: mathcomp-analysis (1.14.0-1)
Links für mathcomp-analysis
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen
- Debian-Changelog
- Copyright-Datei
- Debian-Quellcode-Depot (Git)
- Debian Patch-Überblick
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- libcoq-mathcomp-analysis
- analysis extension for Mathematical Components
- libcoq-mathcomp-classical
- classical logic extension for Mathematical Components
Andere Pakete mit Bezug zu mathcomp-analysis
|
|
-
- adep: coq (>= 9)
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
-
- adep: debhelper-compat (= 13)
- Paket nicht verfügbar
-
- adep: dh-coq
- debhelper tool for Coq-related Debian packages
-
- adep: dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep: libcoq-elpi
- Coq plugin embedding Elpi
-
- adep: libcoq-hierarchy-builder
- build hierarchies of algebraic structures in Coq
-
- adep: libcoq-mathcomp-algebra
- Mathematical Components library for Coq (algebra)
-
- adep: libcoq-mathcomp-field
- Mathematical Components library for Coq (field)
-
- adep: libcoq-mathcomp-fingroup
- Mathematical Components library for Coq (finite groups)
-
- adep: libcoq-mathcomp-solvable
- Mathematical Components library for Coq (finite groups II)
-
- adep: libcoq-mathcomp-ssreflect
- Mathematical Components library for Coq (small scale reflection)
-
- 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
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| mathcomp-analysis_1.14.0-1.dsc | 2,4 kB | 7d9d4546d097ed94a7a8777352cc96ae |
| mathcomp-analysis_1.14.0.orig.tar.gz | 953,9 kB | 5d3538e021217b45734fe5ae864c7b36 |
| mathcomp-analysis_1.14.0-1.debian.tar.xz | 9,4 kB | 5a98605821bc48257b59a7020fdd66c3 |
- 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