Paket: spass-dbgsym (3.9-1.1 och andra) [debports]

Länkar för spass-dbgsym

Hittades ej

dep: spass (= 3.9-1.1) [ej riscv64]

automated theorem prover for first-order logic with equality

dep: spass (= 3.9-1.1+b1) [riscv64]

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	3.9-1.1	33,1 kbyte	134,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	3.9-1.1	33,1 kbyte	112,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	3.9-1.1	31,8 kbyte	134,0 kbyte	[filförteckning]
loong64 (inofficiell anpassning)	3.9-1.1	34,4 kbyte	136,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	3.9-1.1	32,6 kbyte	110,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	3.9-1.1	32,3 kbyte	137,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	3.9-1.1+b1	32,6 kbyte	135,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	3.9-1.1	32,1 kbyte	119,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	3.9-1.1	33,0 kbyte	134,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	3.9-1.1	32,0 kbyte	110,0 kbyte	[filförteckning]