[ sid ]

[ Source: ]

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

Links for cryptominisat-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for cryptominisat

Muut pakettiin cryptominisat-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: cryptominisat (= 5.11.15+dfsg1-1.1)

SAT solver command line interface

Imuroi cryptominisat-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
x32 (epävirallinen siirros)	994.1 kt	1,079.0 kt	[tiedostoluettelo]