Pakiet: minisat-dbgsym (1:2.2.1-8 i inne) [debports]

Odnośniki dla minisat-dbgsym

Nie znaleziono

dep: minisat (= 1:2.2.1-5+b1) [riscv64]

Fast and lightweight SAT solver

dep: minisat (= 1:2.2.1-8) [nie riscv64]

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1:2.2.1-8	202,5 KiB	236,0 KiB	[lista plików]
hppa (port nieoficjalny)	1:2.2.1-8	195,1 KiB	223,0 KiB	[lista plików]
ia64 (port nieoficjalny)	1:2.2.1-8	237,3 KiB	271,0 KiB	[lista plików]
loong64 (port nieoficjalny)	1:2.2.1-8	170,4 KiB	203,0 KiB	[lista plików]
m68k (port nieoficjalny)	1:2.2.1-8	183,1 KiB	211,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1:2.2.1-8	205,5 KiB	245,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	1:2.2.1-5+b1	187,8 KiB	220,0 KiB	[lista plików]
sh4 (port nieoficjalny)	1:2.2.1-8	161,4 KiB	253,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1:2.2.1-8	197,5 KiB	231,0 KiB	[lista plików]
x32 (port nieoficjalny)	1:2.2.1-8	197,4 KiB	225,0 KiB	[lista plików]