[ Source: coquelicot ]
Package: libcoq-coquelicot (3.4.3-1 and others)
Links for libcoq-coquelicot
Debian Resources:
Download Source Package coquelicot:
Maintainers:
External Resources:
- Homepage [coquelicot.saclay.inria.fr]
Similar packages:
libreria per analisi reale per Coq
Questo pacchetto fornisce una formalizzazione dell'analisi reale compatibile con la libreria standard di Coq.
Coq รจ un assistente alle dimostrazioni per logiche di ordine superiore.
Other Packages Related to libcoq-coquelicot
|
|
|
|
-
- dep: libcoq-mathcomp-ssreflect-1rx88 [loong64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-65232 [s390x]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-90jd2 [riscv64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-eich3 [arm64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-hau92 [ppc64el]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-ilir5 [amd64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-kusa1 [ppc64]
- virtual package provided by libcoq-mathcomp-ssreflect
Download libcoq-coquelicot
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 3.4.3-1+b6 | 3,283.6 kB | 13,087.0 kB | [list of files] |
| arm64 | 3.4.3-1+b6 | 3,283.6 kB | 13,087.0 kB | [list of files] |
| loong64 (unofficial port) | 3.4.1-3 | 3,290.9 kB | 13,825.0 kB | [list of files] |
| ppc64 (unofficial port) | 3.4.1-3 | 3,290.4 kB | 13,825.0 kB | [list of files] |
| ppc64el | 3.4.3-1+b7 | 3,284.1 kB | 13,087.0 kB | [list of files] |
| riscv64 | 3.4.3-1+b6 | 3,283.8 kB | 13,087.0 kB | [list of files] |
| s390x | 3.4.3-1+b6 | 3,283.6 kB | 13,087.0 kB | [list of files] |