[ sid ]
Pakiet: libcryptominisat5-5.11t64-dbgsym (5.11.21+dfsg1-1) [debports]
Odnośniki dla libcryptominisat5-5.11t64-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for libcryptominisat5-5.11t64
Inne pakiety związane z libcryptominisat5-5.11t64-dbgsym
|
|
|
|
-
- dep: libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-1)
- SAT solver library
Pobieranie libcryptominisat5-5.11t64-dbgsym
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
x32 (port nieoficjalny) | 6 965,2 KiB | 7 102,0 KiB | [lista plików] |