Balík: libcoq-bignums (9.0.0+coq8.18-1 a iné)

Odkazy pre libcoq-bignums

Zdroje Debian:

Stiahnuť zdrojový balík coq-bignums:

Správcovia:

Externé zdroje:

Domovská stránka [github.com]

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libcoq-bignums

závisí

odporúča

navrhuje

vylepšuje

dep: libcoq-stdlib-84f80 [amd64]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-8u5j8 [armhf]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-97v84 [arm64]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-l2kk4 [riscv64]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-n0k10 [ppc64]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-nhhu6 [ppc64el]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-tp8b6 [i386]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-wsmp7 [s390x]

virtuálny balík poskytovaný balíkom libcoq-stdlib

Stiahnuť libcoq-bignums

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	9.0.0+coq8.18-1+b1	1,769.6 kB	8,395.0 kB	[zoznam súborov]
arm64	9.0.0+coq8.18-1+b1	1,770.4 kB	8,459.0 kB	[zoznam súborov]
armhf	9.0.0+coq8.18-1+b1	1,768.9 kB	8,366.0 kB	[zoznam súborov]
i386	9.0.0+coq8.18-1+b1	1,768.7 kB	8,374.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	8.17.0-3+b2	1,782.6 kB	8,488.0 kB	[zoznam súborov]
ppc64el	9.0.0+coq8.18-1+b1	1,770.5 kB	8,459.0 kB	[zoznam súborov]
riscv64	9.0.0+coq8.18-1+b1	1,770.0 kB	8,395.0 kB	[zoznam súborov]
s390x	9.0.0+coq8.18-1+b1	1,770.1 kB	8,395.0 kB	[zoznam súborov]