[ sid ]
Paket: coqide-dbgsym (8.17.0+dfsg-1 ve diğerleri) [debports]
coqide-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for coqide
coqide-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: coqide (= 8.17.0+dfsg-1+b2)
- proof assistant for higher-order logic (gtk interface)
coqide-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
ppc64 (resmi olmayan port) | 8.17.0+dfsg-1+b2 | 610,2 kB | 2.789,0 kB | [dosya listesi] |
riscv64 (resmi olmayan port) | 8.17.0+dfsg-1+b2 | 641,2 kB | 2.701,0 kB | [dosya listesi] |