[ 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 |
---|---|---|---|
sh4 (resmi olmayan port) | 5.582,8 kB | 5.902,0 kB | [dosya listesi] |