Pakiet: coq-serapi (8.20.0+0.20.0-1 i inne)

Odnośniki dla coq-serapi

dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgmp10 (>= 2:6.3.0+dfsg)

Biblioteka działań arytmetycznych z dużą dokładnością

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	8.20.0+0.20.0-1+b4	30 321,1 KiB	130 949,0 KiB	[lista plików]
arm64	8.20.0+0.20.0-1+b4	35 217,6 KiB	158 153,0 KiB	[lista plików]
ppc64el	8.20.0+0.20.0-1+b4	30 284,6 KiB	142 793,0 KiB	[lista plików]
riscv64	8.20.0+0.20.0-1+b4	31 454,5 KiB	146 505,0 KiB	[lista plików]