Paket: metamath-dbgsym (0.195-1 och andra) [debports]

Länkar för metamath-dbgsym

Hittades ej

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

Language for mathematical proofs

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

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	0.195-1	466,6 kbyte	495,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	0.195-1	472,8 kbyte	497,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	0.195-1	693,8 kbyte	723,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	0.195-1	421,6 kbyte	444,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	0.195-1	510,0 kbyte	541,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	0.195-1+b1	496,4 kbyte	526,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	0.195-1	458,4 kbyte	509,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	0.195-1	488,9 kbyte	518,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	0.195-1	462,5 kbyte	485,0 kbyte	[filförteckning]