[ sid ]
套件:elan-dbgsym(3.1.1-1 以及其他的)
[debports]
elan-dbgsym 的相關連結
Debian 的資源:
下載原始碼套件 :
未找到
維護小組:
相似套件:
其他與 elan-dbgsym 有關的套件
-
- dep:
elan
(= 1.4.2-3)
[x32]
- tool for managing installations of the Lean theorem prover
- dep:
elan
(= 2.0.0-1)
[riscv64]
- dep:
elan
(= 3.1.1-1)
[ppc64, sparc64]
下載 elan-dbgsym
下載可用於所有硬體架構的
硬體架構 |
版本 |
套件大小 |
安裝後大小 |
檔案 |
ppc64 (非官方移植版) |
3.1.1-1 |
13,538。9 kB | 14,915。0 kB |
[檔案列表]
|
riscv64 (非官方移植版) |
2.0.0-1 |
12,360。1 kB | 41,995。0 kB |
[檔案列表]
|
sparc64 (非官方移植版) |
3.1.1-1 |
13,014。3 kB | 14,622。0 kB |
[檔案列表]
|
x32 (非官方移植版) |
1.4.2-3 |
12,402。0 kB | 13,477。0 kB |
[檔案列表]
|