[ sid ]
Paketti: python3-cryptominisat-dbgsym (5.11.15+dfsg1-1.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.15+dfsg1-1.1)
- Python bindings for the CryptoMiniSat SAT solver (Python 3)
Imuroi python3-cryptominisat-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
ia64 (epävirallinen siirros) | 7,476.5 kt | 7,608.0 kt | [tiedostoluettelo] |