[ sid ]
Paketti: python3-cryptominisat-dbgsym (5.11.21+dfsg1-1) [debports]
Links for python3-cryptominisat-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for python3-cryptominisat
Muut pakettiin python3-cryptominisat-dbgsym liittyvät paketit
|
|
|
|
-
- dep: python3-cryptominisat (= 5.11.21+dfsg1-1)
- Python bindings for the CryptoMiniSat SAT solver (Python 3)
Imuroi python3-cryptominisat-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
x32 (epävirallinen siirros) | 6,585.5 kt | 6,717.0 kt | [tiedostoluettelo] |