Pakiet: picosat-dbgsym (965-2 i inne) [debports]

Odnośniki dla picosat-dbgsym

Nie znaleziono

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

SAT solver with proof and core support

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

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	965-2	363,7 KiB	544,0 KiB	[lista plików]
hppa (port nieoficjalny)	965-2	357,4 KiB	529,0 KiB	[lista plików]
ia64 (port nieoficjalny)	965-2	454,2 KiB	664,0 KiB	[lista plików]
loong64 (port nieoficjalny)	965-2	379,7 KiB	567,0 KiB	[lista plików]
m68k (port nieoficjalny)	965-2	408,4 KiB	478,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	965-2	389,6 KiB	586,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	965-2+b1	358,6 KiB	542,0 KiB	[lista plików]
sh4 (port nieoficjalny)	965-2	428,1 KiB	544,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	965-2	439,8 KiB	534,0 KiB	[lista plików]
x32 (port nieoficjalny)	965-2	353,5 KiB	514,0 KiB	[lista plików]