[ sid ]
Balík: elan-dbgsym (2.0.0-1) [debports]
Odkazy pre elan-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for elan
Ostatné balíky súvisiace s balíkom elan-dbgsym
|
|
|
|
-
- dep: elan (= 2.0.0-1)
- tool for managing installations of the Lean theorem prover
Stiahnuť elan-dbgsym
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
riscv64 (neoficiálny port) | 12,360.1 kB | 41,995.0 kB | [zoznam súborov] |