[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Pakiet źródłowy: coq-bignums ]

Pakiet: libcoq-bignums (9.0.0+coq8.20-1 i inne)

Odnośniki dla libcoq-bignums

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-bignums:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z libcoq-bignums

wymaga

poleca

sugeruje

enhances

dep: libcoq-stdlib-1ns11 [arm64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

pakiet wirtualny udostępniany przez libcoq-stdlib

Pobieranie libcoq-bignums

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	9.0.0+coq8.20-1+b9	1 869,3 KiB	7 601,0 KiB	[lista plików]
arm64	9.0.0+coq8.20-1+b8	1 869,8 KiB	7 641,0 KiB	[lista plików]
ppc64el	9.0.0+coq8.20-1+b9	1 869,3 KiB	7 641,0 KiB	[lista plików]
riscv64	9.0.0+coq8.20-1+b8	1 869,1 KiB	7 593,0 KiB	[lista plików]
s390x	9.0.0+coq8.20-1+b9	1 869,3 KiB	7 601,0 KiB	[lista plików]