Balík: minisat-dbgsym (1:2.2.1-8 a iné) [debports]

Odkazy pre minisat-dbgsym

Nenájdený

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

rýchly a nenáročný riešiteľ SAT

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

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	1:2.2.1-8	202.5 kB	236.0 kB	[zoznam súborov]
hppa (neoficiálny port)	1:2.2.1-8	195.1 kB	223.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	1:2.2.1-8	237.3 kB	271.0 kB	[zoznam súborov]
loong64 (neoficiálny port)	1:2.2.1-8	170.4 kB	203.0 kB	[zoznam súborov]
m68k (neoficiálny port)	1:2.2.1-8	183.1 kB	211.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	1:2.2.1-8	205.5 kB	245.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	1:2.2.1-5+b1	187.8 kB	220.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	1:2.2.1-8	161.4 kB	253.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	1:2.2.1-8	197.5 kB	231.0 kB	[zoznam súborov]
x32 (neoficiálny port)	1:2.2.1-8	197.4 kB	225.0 kB	[zoznam súborov]