[ sid ]

[ Källkod: ]

Paket: minisat-dbgsym (1:2.2.1-8) [debports]

Länkar för minisat-dbgsym

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Liknande paket:

debug symbols for minisat

Andra paket besläktade med minisat-dbgsym

beror

rekommenderar

föreslår

enhances

dep: minisat (= 1:2.2.1-8)

Fast and lightweight SAT solver

Hämta minisat-dbgsym

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
sh4 (inofficiell anpassning)	161,4 kbyte	253,0 kbyte	[filförteckning]