Pakiet: metamath-dbgsym (0.195-1 i inne) [debports]

Odnośniki dla metamath-dbgsym

Nie znaleziono

dep: metamath (= 0.195-1) [nie riscv64]

Language for mathematical proofs

dep: metamath (= 0.195-1+b1) [riscv64]

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	0.195-1	466,6 KiB	495,0 KiB	[lista plików]
hppa (port nieoficjalny)	0.195-1	472,8 KiB	497,0 KiB	[lista plików]
ia64 (port nieoficjalny)	0.195-1	693,8 KiB	723,0 KiB	[lista plików]
loong64 (port nieoficjalny)	0.195-1	486,4 KiB	514,0 KiB	[lista plików]
m68k (port nieoficjalny)	0.195-1	421,6 KiB	444,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	0.195-1	510,0 KiB	541,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	0.195-1+b1	496,4 KiB	526,0 KiB	[lista plików]
sh4 (port nieoficjalny)	0.195-1	458,4 KiB	509,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	0.195-1	488,9 KiB	518,0 KiB	[lista plików]
x32 (port nieoficjalny)	0.195-1	462,5 KiB	485,0 KiB	[lista plików]