[ sid ]

[ Pakiet źródłowy: ]

Pakiet: cryptominisat-dbgsym (5.11.21+dfsg1-1 i inne) [debports]

Odnośniki dla cryptominisat-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for cryptominisat

Inne pakiety związane z cryptominisat-dbgsym

wymaga

poleca

sugeruje

enhances

dep: cryptominisat (= 5.11.21+dfsg1-1+b2)

SAT solver command line interface

Pobieranie cryptominisat-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ppc64 (port nieoficjalny)	5.11.21+dfsg1-1+b2	1 318,6 KiB	1 395,0 KiB	[lista plików]