Paketti: coqprime-tools (8.19-1 ja muut)

[ Source: coqprime  ]

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.

Muut pakettiin coqprime-tools liittyvät paketit

• dep: libc6 (>= 2.34)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libcoq-coqprime (= 8.17-1+b1) [ppc64]

  Primality certification for Coq (library)

  dep: libcoq-coqprime (= 8.19-1) [ei 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) [ei ppc64]

• dep: ocaml-base-nox

  transitional package for ocaml-base

  tai ocaml-base

  Runtime system for OCaml bytecode executables

Imuroi coqprime-tools

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	8.19-1	133.9 kt	781.0 kt	[tiedostoluettelo]
arm64	8.19-1	132.9 kt	837.0 kt	[tiedostoluettelo]
armhf	8.19-1	131.2 kt	751.0 kt	[tiedostoluettelo]
i386	8.19-1	135.3 kt	783.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	8.17-1+b1	131.9 kt	825.0 kt	[tiedostoluettelo]
ppc64el	8.19-1	134.8 kt	837.0 kt	[tiedostoluettelo]
riscv64	8.19-1	134.8 kt	765.0 kt	[tiedostoluettelo]
s390x	8.19-1	132.1 kt	781.0 kt	[tiedostoluettelo]