套件：coqprime-tools（8.19-1 以及其他的）

coqprime-tools 的相關連結

Debian 的資源：

下載原始碼套件 coqprime：

維護小組：

外部的資源：

主頁 [github.com]

相似套件：

Primality certification for Coq (tools)

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 curve

certificates of primality

Coq is a proof assistant for higher-order logic.

其他與 coqprime-tools 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.34)

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
dep: libcoq-coqprime (= 8.17-1+b1) [ppc64]

Primality certification for Coq (library)

dep: libcoq-coqprime (= 8.19-1) [除 ppc64]
dep: libecm1 (>= 7.0.5+ds)

factor integers using the Elliptic Curve Method -- lib
dep: libgmp10 (>= 2:6.2.1+dfsg1) [ppc64]

Multiprecision arithmetic library

dep: libgmp10 (>= 2:6.3.0+dfsg) [除 ppc64]
dep: ocaml-base-nox

transitional package for ocaml-base

或者 ocaml-base

Runtime system for OCaml bytecode executables

下載 coqprime-tools

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
amd64	8.19-1	133。9 kB	781。0 kB	[檔案列表]
arm64	8.19-1	132。9 kB	837。0 kB	[檔案列表]
armhf	8.19-1	131。2 kB	751。0 kB	[檔案列表]
i386	8.19-1	135。3 kB	783。0 kB	[檔案列表]
ppc64 （非官方移植版）	8.17-1+b1	131。9 kB	825。0 kB	[檔案列表]
ppc64el	8.19-1	134。8 kB	837。0 kB	[檔案列表]
riscv64	8.19-1	134。8 kB	765。0 kB	[檔案列表]
s390x	8.19-1	132。1 kB	781。0 kB	[檔案列表]