Balík: picosat-dbgsym (965-2 a iné) [debports]

Odkazy pre picosat-dbgsym

Nenájdený

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

SAT solver with proof and core support

dep: picosat (= 965-2+b1) [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)	965-2	363.7 kB	544.0 kB	[zoznam súborov]
hppa (neoficiálny port)	965-2	357.4 kB	529.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	965-2	454.2 kB	664.0 kB	[zoznam súborov]
loong64 (neoficiálny port)	965-2	379.7 kB	567.0 kB	[zoznam súborov]
m68k (neoficiálny port)	965-2	408.4 kB	478.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	965-2	389.6 kB	586.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	965-2+b1	358.6 kB	542.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	965-2	428.1 kB	544.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	965-2	439.8 kB	534.0 kB	[zoznam súborov]
x32 (neoficiálny port)	965-2	353.5 kB	514.0 kB	[zoznam súborov]