[ sid ]
Пакунок: elan-dbgsym (2.0.0-1) [debports]
Links for elan-dbgsym
Debian Resources:
Download Source Package :
Не знайденоMaintainers:
Similar packages:
debug symbols for elan
Інші пакунки пов'язані з elan-dbgsym
|
|
|
|
-
- dep: elan (= 2.0.0-1)
- tool for managing installations of the Lean theorem prover
Завантажити elan-dbgsym
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
riscv64 (unofficial port) | 12,360.1 kB | 41,995.0 kB | [список файлів] |