[ sid ]
Paket: libcoq-hammer-dbgsym (1.3.2+8.17-1 ve diğerleri) [debports]
libcoq-hammer-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for libcoq-hammer
libcoq-hammer-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-hammer (= 1.3.2+8.17-1+b2)
- automated reasoning tool for Coq
libcoq-hammer-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
ppc64 (resmi olmayan port) | 1.3.2+8.17-1+b2 | 40,1 kB | 339,0 kB | [dosya listesi] |
riscv64 (resmi olmayan port) | 1.3.2+8.17-1+b2 | 39,7 kB | 314,0 kB | [dosya listesi] |