[ Source: coq-interval ]
Пакунок: libcoq-interval (4.11.0-1 and others)
Links for libcoq-interval
Debian Resources:
Download Source Package coq-interval:
- [coq-interval_4.11.0-1.dsc]
- [coq-interval_4.11.0.orig.tar.bz2]
- [coq-interval_4.11.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [coqinterval.gitlabpages.inria.fr]
Similar packages:
interval arithmetic for Coq
This package provides tactics to simplify the proof of inequalities on expressions of real numbers.
Coq is a proof assistant for higher-order logic.
Інші пакунки пов'язані з libcoq-interval
|
|
|
|
-
- dep: libcoq-bignums-3gta7 [ppc64]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-8jdm6 [s390x]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-8nfj2 [armhf]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-ctmo2 [amd64]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-nflz0 [riscv64]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-ocae1 [ppc64el]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-udir9 [i386]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-vs9a8 [arm64]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-coquelicot-0i7i8 [arm64]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-6udw5 [riscv64]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-72kt6 [ppc64el]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-apaq3 [ppc64]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-cf923 [i386]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-keyl8 [s390x]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-mct54 [amd64]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-ubx98 [armhf]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-flocq-2xne2 [armhf]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-aj6u7 [ppc64]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-ejqn9 [i386]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-hwws0 [s390x]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-j08i3 [riscv64]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-l0wo4 [ppc64el]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-s7dg7 [arm64]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-zrio7 [amd64]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-mathcomp-ssreflect-24dy6 [armhf]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-inst6 [ppc64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-jqlc6 [riscv64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-kd6m3 [s390x]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-nano0 [i386]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-pe8h6 [arm64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-ru1n3 [amd64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-tndv0 [ppc64el]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-49fx0 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-f7md8 [riscv64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ixla1 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-l3dr3 [i386]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ob632 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-pyy86 [ppc64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ubg70 [armhf]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-w0z25 [s390x]
- virtual package provided by libcoq-stdlib
Завантажити libcoq-interval
| Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|---|
| amd64 | 4.11.0-1+b2 | 6,409.9 kB | 20,476.0 kB | [список файлів] |
| arm64 | 4.11.0-1+b2 | 6,412.9 kB | 20,492.0 kB | [список файлів] |
| armhf | 4.11.0-1+b2 | 6,417.9 kB | 20,461.0 kB | [список файлів] |
| i386 | 4.11.0-1+b2 | 6,415.9 kB | 20,469.0 kB | [список файлів] |
| ppc64 (unofficial port) | 4.11.0-1+b1 | 6,410.8 kB | 20,492.0 kB | [список файлів] |
| ppc64el | 4.11.0-1+b2 | 6,410.0 kB | 20,492.0 kB | [список файлів] |
| riscv64 | 4.11.0-1+b2 | 6,410.9 kB | 20,472.0 kB | [список файлів] |
| s390x | 4.11.0-1+b2 | 6,410.6 kB | 20,476.0 kB | [список файлів] |