[ sid ]
Paquet : eprover-dbgsym (3.2.5+ds-1 et autres) [debports]
Liens pour eprover-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for eprover
Autres paquets associés à eprover-dbgsym
|
|
|
|
Télécharger eprover-dbgsym
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| alpha (portage non officiel) | 3.2.5+ds-1 | 138,1 ko | 901,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 3.2.5+ds-1 | 136,3 ko | 749,0 ko | [liste des fichiers] |
| ia64 (portage non officiel) | 3.0.03+ds-1 | 181,9 ko | 1 224,0 ko | [liste des fichiers] |
| loong64 (portage non officiel) | 3.2.5+ds-1 | 140,4 ko | 918,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 3.2.5+ds-1 | 134,6 ko | 743,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 3.2.5+ds-1 | 121,7 ko | 971,0 ko | [liste des fichiers] |
| riscv64 (portage non officiel) | 2.6+ds-3+b1 | 115,6 ko | 774,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 3.2.5+ds-1 | 139,2 ko | 1 849,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 3.2.5+ds-1 | 136,1 ko | 918,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 3.2.5+ds-1 | 131,4 ko | 741,0 ko | [liste des fichiers] |