[ sid ]

[ Bron: ]

Pakket: cryptominisat-dbgsym (5.11.15+dfsg1-1.1) [debports]

Verwijzigingen voor cryptominisat-dbgsym

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Vergelijkbare pakketten:

debug symbols for cryptominisat

Andere aan cryptominisat-dbgsym gerelateerde pakketten

depends

recommends

suggests

enhances

dep: cryptominisat (= 5.11.15+dfsg1-1.1)

SAT solver command line interface

cryptominisat-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
x32 (unofficial port)	994,1 kB	1.079,0 kB	[overzicht]