[ sid ]
Paketti: python3-cryptominisat-dbgsym (5.11.21+dfsg1-1 ja muut) [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) [ia64]
- Python bindings for the CryptoMiniSat SAT solver (Python 3)
- dep: python3-cryptominisat (= 5.11.21+dfsg1-1) [alpha]
- dep: python3-cryptominisat (= 5.11.21+dfsg1-1+b1) [ei alpha, ia64, riscv64]
- dep: python3-cryptominisat (= 5.11.4+dfsg1-3) [riscv64]
Imuroi python3-cryptominisat-dbgsym
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
alpha (epävirallinen siirros) | 5.11.21+dfsg1-1 | 6,690.9 kt | 6,825.0 kt | [tiedostoluettelo] |
hppa (epävirallinen siirros) | 5.11.21+dfsg1-1+b1 | 6,514.6 kt | 6,645.0 kt | [tiedostoluettelo] |
ia64 (epävirallinen siirros) | 5.11.15+dfsg1-1.1 | 7,476.5 kt | 7,608.0 kt | [tiedostoluettelo] |
m68k (epävirallinen siirros) | 5.11.21+dfsg1-1+b1 | 5,994.3 kt | 6,114.0 kt | [tiedostoluettelo] |
ppc64 (epävirallinen siirros) | 5.11.21+dfsg1-1+b1 | 6,679.4 kt | 6,824.0 kt | [tiedostoluettelo] |
riscv64 (epävirallinen siirros) | 5.11.4+dfsg1-3 | 5,229.4 kt | 5,368.0 kt | [tiedostoluettelo] |
sh4 (epävirallinen siirros) | 5.11.21+dfsg1-1+b1 | 5,283.4 kt | 5,397.0 kt | [tiedostoluettelo] |
sparc64 (epävirallinen siirros) | 5.11.21+dfsg1-1+b1 | 6,511.9 kt | 6,650.0 kt | [tiedostoluettelo] |
x32 (epävirallinen siirros) | 5.11.21+dfsg1-1+b1 | 6,586.4 kt | 6,718.0 kt | [tiedostoluettelo] |