[ sid ]
Paket: elan-dbgsym (3.1.0-1 ve diğerleri) [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 (= 3.1.0-1+b1)
- tool for managing installations of the Lean theorem prover
elan-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
sparc64 (resmi olmayan port) | 3.1.0-1+b1 | 13.013,3 kB | 14.620,0 kB | [dosya listesi] |