Balík: spass-dbgsym (3.9-1.1 a iné) [debports]

Odkazy pre spass-dbgsym

Nenájdený

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

automated theorem prover for first-order logic with equality

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

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	3.9-1.1	33.1 kB	134.0 kB	[zoznam súborov]
hppa (neoficiálny port)	3.9-1.1	33.1 kB	112.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	3.9-1.1	31.8 kB	134.0 kB	[zoznam súborov]
loong64 (neoficiálny port)	3.9-1.1	34.4 kB	136.0 kB	[zoznam súborov]
m68k (neoficiálny port)	3.9-1.1	32.6 kB	110.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	3.9-1.1	32.3 kB	137.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	3.9-1.1+b1	32.6 kB	135.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	3.9-1.1	32.1 kB	119.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	3.9-1.1	33.0 kB	134.0 kB	[zoznam súborov]
x32 (neoficiálny port)	3.9-1.1	32.0 kB	110.0 kB	[zoznam súborov]