[ sid ]
Paket: elan-dbgsym (2.0.0-1) [debports]
Länkar för elan-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for elan
Andra paket besläktade med elan-dbgsym
|
|
|
|
-
- dep: elan (= 2.0.0-1)
- tool for managing installations of the Lean theorem prover
Hämta elan-dbgsym
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| riscv64 (inofficiell anpassning) | 12.360,1 kbyte | 41.995,0 kbyte | [filförteckning] |