パッケージ: coqprime-tools (8.19-2 など)

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 関連パッケージ

依存

推奨

提案

enhances

dep: libc6 (>= 2.34)

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libcoq-coqprime (= 8.19-2+b2) [ppc64el 以外]

Primality certification for Coq (library)

dep: libcoq-coqprime (= 8.19-2+b3) [ppc64el]
dep: libecm1 (>= 7.0.5+ds)

楕円曲線法を使った素因数分解 -- ライブラリ
dep: libgmp10 (>= 2:6.3.0+dfsg)

多倍長精度演算ライブラリ
dep: ocaml-base-nox

transitional package for ocaml-base

または ocaml-base

Runtime system for OCaml bytecode executables

coqprime-tools のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	8.19-2+b2	139.6 kB	819.0 kB	[ファイル一覧]
arm64	8.19-2+b2	138.5 kB	875.0 kB	[ファイル一覧]
ppc64el	8.19-2+b3	140.4 kB	875.0 kB	[ファイル一覧]
riscv64	8.19-2+b2	140.7 kB	803.0 kB	[ファイル一覧]
s390x	8.19-2+b2	137.8 kB	819.0 kB	[ファイル一覧]