[ Источник: coq-interval ]
Пакет: libcoq-interval (4.11.0-1 и другие)
Ссылки для libcoq-interval
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код 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]
Сопровождающие:
Внешние ресурсы:
- Сайт [coqinterval.gitlabpages.inria.fr]
Подобные пакеты:
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-0dda6 [amd64]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-3rq79 [armhf]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-5ue21 [s390x]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-661f3 [riscv64]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-bcp11 [i386]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-qhnu9 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-v3877 [arm64]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-coquelicot-0i7i8 [arm64]
- виртуальный пакет, предоставляемый libcoq-coquelicot
-
- dep: libcoq-coquelicot-6udw5 [riscv64]
- виртуальный пакет, предоставляемый libcoq-coquelicot
-
- dep: libcoq-coquelicot-72kt6 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-coquelicot
-
- dep: libcoq-coquelicot-cf923 [i386]
- виртуальный пакет, предоставляемый libcoq-coquelicot
-
- dep: libcoq-coquelicot-keyl8 [s390x]
- виртуальный пакет, предоставляемый libcoq-coquelicot
-
- dep: libcoq-coquelicot-mct54 [amd64]
- виртуальный пакет, предоставляемый libcoq-coquelicot
-
- dep: libcoq-coquelicot-ubx98 [armhf]
- виртуальный пакет, предоставляемый libcoq-coquelicot
-
- dep: libcoq-flocq-2xne2 [armhf]
- виртуальный пакет, предоставляемый libcoq-flocq
-
- dep: libcoq-flocq-ejqn9 [i386]
- виртуальный пакет, предоставляемый libcoq-flocq
-
- dep: libcoq-flocq-hwws0 [s390x]
- виртуальный пакет, предоставляемый libcoq-flocq
-
- dep: libcoq-flocq-j08i3 [riscv64]
- виртуальный пакет, предоставляемый libcoq-flocq
-
- dep: libcoq-flocq-l0wo4 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-flocq
-
- dep: libcoq-flocq-s7dg7 [arm64]
- виртуальный пакет, предоставляемый libcoq-flocq
-
- dep: libcoq-flocq-zrio7 [amd64]
- виртуальный пакет, предоставляемый libcoq-flocq
-
- dep: libcoq-mathcomp-ssreflect-24dy6 [armhf]
- виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-jqlc6 [riscv64]
- виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-kd6m3 [s390x]
- виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-nano0 [i386]
- виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-pe8h6 [arm64]
- виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-ru1n3 [amd64]
- виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-tndv0 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-49fx0 [arm64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-f7md8 [riscv64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-ixla1 [amd64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-l3dr3 [i386]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-ob632 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-ubg70 [armhf]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-w0z25 [s390x]
- виртуальный пакет, предоставляемый libcoq-stdlib
Загрузка libcoq-interval
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| amd64 | 4.11.0-1+b1 | 6 409,4 Кб | 20 476,0 Кб | [список файлов] |
| arm64 | 4.11.0-1+b1 | 6 412,5 Кб | 20 492,0 Кб | [список файлов] |
| armhf | 4.11.0-1+b1 | 6 416,2 Кб | 20 461,0 Кб | [список файлов] |
| i386 | 4.11.0-1+b1 | 6 415,8 Кб | 20 469,0 Кб | [список файлов] |
| ppc64el | 4.11.0-1+b1 | 6 410,5 Кб | 20 492,0 Кб | [список файлов] |
| riscv64 | 4.11.0-1+b1 | 6 410,1 Кб | 20 472,0 Кб | [список файлов] |
| s390x | 4.11.0-1+b1 | 6 410,5 Кб | 20 476,0 Кб | [список файлов] |