[ sid ]
Paket: libcoq-ocaml-dbgsym (8.12.0-3 ve diğerleri) [debports]
libcoq-ocaml-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for libcoq-ocaml
libcoq-ocaml-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-ocaml (= 8.12.0-3+b3)
- runtime libraries for Coq
libcoq-ocaml-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
alpha (resmi olmayan port) | 8.12.0-3+b3 | 32,8 kB | 49,0 kB | [dosya listesi] |
hppa (resmi olmayan port) | 8.12.0-3+b3 | 39,9 kB | 56,0 kB | [dosya listesi] |
ia64 (resmi olmayan port) | 8.12.0-3+b3 | 42,2 kB | 59,0 kB | [dosya listesi] |
sh4 (resmi olmayan port) | 8.12.0-3+b3 | 32,3 kB | 48,0 kB | [dosya listesi] |
sparc64 (resmi olmayan port) | 8.12.0-3+b3 | 35,5 kB | 52,0 kB | [dosya listesi] |
x32 (resmi olmayan port) | 8.12.0-3+b3 | 37,6 kB | 53,0 kB | [dosya listesi] |