[ Источник: coqprime ]
Пакет: libcoq-coqprime (8.18-1 и другие)
Ссылки для libcoq-coqprime
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код coqprime:
Сопровождающие:
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
Primality certification for Coq (library)
Coqprime consists in:
- a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curvecertificates of primality
Coq is a proof assistant for higher-order logic.
This package contains the Coq library part.
Другие пакеты, относящиеся к libcoq-coqprime
|
|
|
|
-
- dep: libcoq-bignums-2rga4 [arm64]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-4vzh8 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-7cbx9 [riscv64]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-hbrs9 [s390x]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-lkzr7 [amd64]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-r0m71 [ppc64]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-ugi67 [i386]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-bignums-yjqn6 [armhf]
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-stdlib-84f80 [amd64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-8u5j8 [armhf]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-97v84 [arm64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-l2kk4 [riscv64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-n0k10 [ppc64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-nhhu6 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-tp8b6 [i386]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-wsmp7 [s390x]
- виртуальный пакет, предоставляемый libcoq-stdlib
Загрузка libcoq-coqprime
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
amd64 | 8.18-1+b1 | 1 709,8 Кб | 7 344,0 Кб | [список файлов] |
arm64 | 8.18-1+b1 | 1 710,1 Кб | 7 344,0 Кб | [список файлов] |
armhf | 8.18-1+b1 | 1 711,8 Кб | 7 348,0 Кб | [список файлов] |
i386 | 8.18-1+b1 | 1 711,6 Кб | 7 348,0 Кб | [список файлов] |
ppc64 (неофициальный перенос) | 8.17-1+b1 | 1 714,2 Кб | 7 325,0 Кб | [список файлов] |
ppc64el | 8.18-1+b1 | 1 709,8 Кб | 7 344,0 Кб | [список файлов] |
riscv64 | 8.18-1+b1 | 1 710,0 Кб | 7 344,0 Кб | [список файлов] |
s390x | 8.18-1+b1 | 1 710,1 Кб | 7 344,0 Кб | [список файлов] |