Pakket: picosat-dbgsym (965-2 en anderen) [debports]

Verwijzigingen voor picosat-dbgsym

Niet gevonden

dep: picosat (= 965-2) [niet riscv64]

SAT solver with proof and core support

dep: picosat (= 965-2+b1) [riscv64]

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	965-2	363,7 kB	544,0 kB	[overzicht]
hppa (unofficial port)	965-2	357,4 kB	529,0 kB	[overzicht]
ia64 (unofficial port)	965-2	454,2 kB	664,0 kB	[overzicht]
loong64 (unofficial port)	965-2	379,7 kB	567,0 kB	[overzicht]
m68k (unofficial port)	965-2	408,4 kB	478,0 kB	[overzicht]
ppc64 (unofficial port)	965-2	389,6 kB	586,0 kB	[overzicht]
riscv64 (unofficial port)	965-2+b1	358,6 kB	542,0 kB	[overzicht]
sh4 (unofficial port)	965-2	428,1 kB	544,0 kB	[overzicht]
sparc64 (unofficial port)	965-2	439,8 kB	534,0 kB	[overzicht]
x32 (unofficial port)	965-2	353,5 kB	514,0 kB	[overzicht]