[ sid ]
Paquet : libcryptominisat5-5.11-dbgsym (5.11.4+dfsg1-3) [debports]
Liens pour libcryptominisat5-5.11-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
- libpyside2-5.11-dbgsym
- libpyside2-py3-5.11-dbgsym
- libshiboken2-5.11-dbgsym
- libshiboken2-py3-5.11-dbgsym
- linux-image-6.10.11-686-dbg
- linux-image-6.11-parisc-dbg
- linux-image-6.11-parisc64-dbg
- linux-image-6.11-m68k-dbg
- linux-image-6.11-powerpc64-dbg
- linux-image-6.10.11-amd64-dbg
- linux-image-6.10.11-arm64-dbg
debug symbols for libcryptominisat5-5.11
Autres paquets associés à libcryptominisat5-5.11-dbgsym
|
|
|
|
-
- dep: libcryptominisat5-5.11 (= 5.11.4+dfsg1-3)
- SAT solver library
Télécharger libcryptominisat5-5.11-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
riscv64 (portage non officiel) | 5 555,7 ko | 5 700,0 ko | [liste des fichiers] |