Kaynak Paket: mathcomp-analysis (1.14.0-1)
mathcomp-analysis için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Kaynak Deposu (Git)
- Debian Yama Takipçisi
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Deneysel paket
Uyarı: Bu paket deneysel dağıtımdan geliyor. Bu, paketin kararsız veya hatalı olabileceği hatta veri kaybına sebep olabileceği anlamına gelmektedir. Lütfen kullanmadan önce değişim günlüğüne ve muhtemel diğer belgelendirmeye danıştığınızdan emin olun.
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- libcoq-mathcomp-analysis
- analysis extension for Mathematical Components
- libcoq-mathcomp-classical
- classical logic extension for Mathematical Components
mathcomp-analysis ile İlgili Diğer Paketler
|
|
-
- adep: coq (>= 9)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: debhelper-compat (= 13)
- Paket mevcut değil
-
- 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
| Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
|---|---|---|
| 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 Paket Kaynak Deposu (VCS: Git)
- https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
- Debian Paket Kaynak Deposu (Gezinilebilir)
- https://salsa.debian.org/ocaml-team/mathcomp-analysis