Paketti: spass-dbgsym (3.9-1.1 ja muut) [debports]

Links for spass-dbgsym

Ei löytynyt

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

automated theorem prover for first-order logic with equality

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

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	3.9-1.1	33.1 kt	134.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	3.9-1.1	33.1 kt	112.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	3.9-1.1	31.8 kt	134.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	3.9-1.1	32.6 kt	110.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	3.9-1.1	32.3 kt	137.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	3.9-1.1+b1	32.6 kt	135.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	3.9-1.1	32.1 kt	119.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	3.9-1.1	33.0 kt	134.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	3.9-1.1	32.0 kt	110.0 kt	[tiedostoluettelo]