[ sid ]
Paquet : kissat-dbgsym (4.0.3-2) [debports]
Liens pour kissat-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for kissat
Autres paquets associés à kissat-dbgsym
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- solveur SAT bare-metal sans complications
Télécharger kissat-dbgsym
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| alpha (portage non officiel) | 1 526,1 ko | 3 090,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 1 519,2 ko | 2 915,0 ko | [liste des fichiers] |
| loong64 (portage non officiel) | 1 597,9 ko | 16 121,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 1 447,2 ko | 2 857,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 1 600,9 ko | 3 267,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 1 853,4 ko | 3 052,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 1 534,7 ko | 3 060,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 1 577,4 ko | 2 173,0 ko | [liste des fichiers] |