[ sid ]
Paquet : python3-cryptominisat-dbgsym (5.11.21+dfsg1-3 et autres) [debports]
Liens pour python3-cryptominisat-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for python3-cryptominisat
Autres paquets associés à python3-cryptominisat-dbgsym
|
|
|
|
-
- 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-3) [non ia64, riscv64]
- dep: python3-cryptominisat (= 5.11.4+dfsg1-3) [riscv64]
Télécharger python3-cryptominisat-dbgsym
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| alpha (portage non officiel) | 5.11.21+dfsg1-3 | 6 886,5 ko | 7 023,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 5.11.21+dfsg1-3 | 6 732,0 ko | 6 867,0 ko | [liste des fichiers] |
| ia64 (portage non officiel) | 5.11.15+dfsg1-1.1 | 7 476,5 ko | 7 608,0 ko | [liste des fichiers] |
| loong64 (portage non officiel) | 5.11.21+dfsg1-3 | 6 892,8 ko | 7 029,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 5.11.21+dfsg1-3 | 6 184,7 ko | 6 310,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 5.11.21+dfsg1-3 | 6 937,0 ko | 7 085,0 ko | [liste des fichiers] |
| riscv64 (portage non officiel) | 5.11.4+dfsg1-3 | 5 229,4 ko | 5 368,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 5.11.21+dfsg1-3 | 5 407,1 ko | 5 522,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 5.11.21+dfsg1-3 | 6 737,2 ko | 6 879,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 5.11.21+dfsg1-3 | 6 874,9 ko | 7 035,0 ko | [liste des fichiers] |