[ sid ]
Paquet : drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]
Liens pour drat-trim-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for drat-trim
Autres paquets associés à drat-trim-dbgsym
|
|
|
|
-
- dep: drat-trim (= 0.0~git20240428.effa1dc-2)
- DART-trim satisfiability proof checker (binary utils)
Télécharger drat-trim-dbgsym
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| alpha (portage non officiel) | 63,5 ko | 89,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 61,9 ko | 85,0 ko | [liste des fichiers] |
| loong64 (portage non officiel) | 65,6 ko | 92,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 58,8 ko | 80,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 65,2 ko | 93,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 61,1 ko | 210,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 61,7 ko | 88,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 63,4 ko | 84,0 ko | [liste des fichiers] |