[ 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+b3) [ei 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+b3 | 6,899.5 kt | 7,032.0 kt | [tiedostoluettelo] |
| hppa (epävirallinen siirros) | 5.11.21+dfsg1-1+b3 | 6,750.1 kt | 6,880.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+b3 | 6,188.1 kt | 6,310.0 kt | [tiedostoluettelo] |
| ppc64 (epävirallinen siirros) | 5.11.21+dfsg1-1+b3 | 6,949.8 kt | 7,092.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+b3 | 5,414.1 kt | 5,525.0 kt | [tiedostoluettelo] |
| sparc64 (epävirallinen siirros) | 5.11.21+dfsg1-1+b3 | 6,755.1 kt | 6,891.0 kt | [tiedostoluettelo] |
| x32 (epävirallinen siirros) | 5.11.21+dfsg1-1+b3 | 6,872.2 kt | 7,010.0 kt | [tiedostoluettelo] |