[ sid ]
Paquet : elan-dbgsym (1.4.2-3) [debports]
Liens pour elan-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for elan
Autres paquets associés à elan-dbgsym
|
|
|
|
-
- dep: elan (= 1.4.2-3)
- tool for managing installations of the Lean theorem prover
Télécharger elan-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
x32 (portage non officiel) | 12 402,0 ko | 13 477,0 ko | [liste des fichiers] |