Balík: depqbf-dbgsym (5.01-3) [debports]

[ Zdroj:  ]

debug symbols for depqbf

Ostatné balíky súvisiace s balíkom depqbf-dbgsym

• dep: depqbf (= 5.01-3)

  solver for quantified boolean formulae

Stiahnuť depqbf-dbgsym

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	391.3 kB	433.0 kB	[zoznam súborov]