Source Package: mathcomp-analysis (1.14.0-1)
Links for mathcomp-analysis
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [github.com]
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
The following binary packages are built from this source package:
- libcoq-mathcomp-analysis
- Analyseudvidelse for Mathematical Components
- libcoq-mathcomp-classical
- classical logic extension for Mathematical Components
Other Packages Related to mathcomp-analysis
|
|
-
- adep: coq (>= 9)
- Bevisassistent for højere ordens logik - topniveau og kompiler
-
- adep: debhelper-compat (= 13)
- Package not available
-
- adep: dh-coq
- Debhelper-værktøj til Coq-relaterede Debianpakker
-
- adep: dh-ocaml
- Hjælpeværktøjer for vedligeholdelse af OCaml-relaterede Debianpakker
-
- adep: libcoq-elpi
- Coq-udvidelsesmodul der indlejrer Elpi
-
- adep: libcoq-hierarchy-builder
- Byggehierarkier for algebraiske strukturer i 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
- Byggesystem der kan kombineres for OCaml-projekter
Download mathcomp-analysis
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| 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 |
- Debian Package Source Repository (VCS: Git)
- https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
- Debian Package Source Repository (Browsable)
- https://salsa.debian.org/ocaml-team/mathcomp-analysis