[ sid ]
Paket: elan-dbgsym (2.0.0-1) [debports]
elan-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for elan
elan-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: elan (= 2.0.0-1)
- tool for managing installations of the Lean theorem prover
elan-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
riscv64 (resmi olmayan port) | 12.360,1 kB | 41.995,0 kB | [dosya listesi] |