[ sid ]
Paket: cadical-dbgsym (1.7.4-1) [debports]
cadical-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for cadical
cadical-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: cadical (= 1.7.4-1)
- Simplified Satisfiability Solver
cadical-dbgsym indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| hppa (resmi olmayan port) | 6.870,5 kB | 7.066,0 kB | [dosya listesi] |