Pakket: spass-dbgsym (3.9-1.1 en anderen) [debports]

Verwijzigingen voor spass-dbgsym

Niet gevonden

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

automated theorem prover for first-order logic with equality

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

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	3.9-1.1	33,1 kB	134,0 kB	[overzicht]
hppa (unofficial port)	3.9-1.1	33,1 kB	112,0 kB	[overzicht]
ia64 (unofficial port)	3.9-1.1	31,8 kB	134,0 kB	[overzicht]
loong64 (unofficial port)	3.9-1.1	34,4 kB	136,0 kB	[overzicht]
m68k (unofficial port)	3.9-1.1	32,6 kB	110,0 kB	[overzicht]
ppc64 (unofficial port)	3.9-1.1	32,3 kB	137,0 kB	[overzicht]
riscv64 (unofficial port)	3.9-1.1+b1	32,6 kB	135,0 kB	[overzicht]
sh4 (unofficial port)	3.9-1.1	32,1 kB	119,0 kB	[overzicht]
sparc64 (unofficial port)	3.9-1.1	33,0 kB	134,0 kB	[overzicht]
x32 (unofficial port)	3.9-1.1	32,0 kB	110,0 kB	[overzicht]