Paketti: libcoq-bignums (9.0.0+coq8.18-1 ja muut)

Links for libcoq-bignums

Debian-palvelut:

Imuroi lähdekoodipaketti coq-bignums:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

Coq library for big numbers

This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.

Coq is a proof assistant for higher-order logic.

Muut pakettiin libcoq-bignums liittyvät paketit

depends

recommends

suggests

enhances

dep: libcoq-stdlib-84f80 [amd64]

näennäispaketti, jonka toteuttaa libcoq-stdlib
dep: libcoq-stdlib-8u5j8 [armhf]

näennäispaketti, jonka toteuttaa libcoq-stdlib
dep: libcoq-stdlib-97v84 [arm64]

näennäispaketti, jonka toteuttaa libcoq-stdlib
dep: libcoq-stdlib-l2kk4 [riscv64]

näennäispaketti, jonka toteuttaa libcoq-stdlib
dep: libcoq-stdlib-n0k10 [ppc64]

näennäispaketti, jonka toteuttaa libcoq-stdlib
dep: libcoq-stdlib-nhhu6 [ppc64el]

näennäispaketti, jonka toteuttaa libcoq-stdlib
dep: libcoq-stdlib-tp8b6 [i386]

näennäispaketti, jonka toteuttaa libcoq-stdlib
dep: libcoq-stdlib-wsmp7 [s390x]

näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-bignums

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	9.0.0+coq8.18-1+b1	1,769.6 kt	8,395.0 kt	[tiedostoluettelo]
arm64	9.0.0+coq8.18-1+b1	1,770.4 kt	8,459.0 kt	[tiedostoluettelo]
armhf	9.0.0+coq8.18-1+b1	1,768.9 kt	8,366.0 kt	[tiedostoluettelo]
i386	9.0.0+coq8.18-1+b1	1,768.7 kt	8,374.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	8.17.0-3+b2	1,782.6 kt	8,488.0 kt	[tiedostoluettelo]
ppc64el	9.0.0+coq8.18-1+b1	1,770.5 kt	8,459.0 kt	[tiedostoluettelo]
riscv64	9.0.0+coq8.18-1+b1	1,770.0 kt	8,395.0 kt	[tiedostoluettelo]
s390x	9.0.0+coq8.18-1+b1	1,770.1 kt	8,395.0 kt	[tiedostoluettelo]