[ sid ]
Paket: minisat-dbgsym (1:2.2.1-8) [debports]
minisat-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for minisat
minisat-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: minisat (= 1:2.2.1-8)
- Fast and lightweight SAT solver
minisat-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
sh4 (resmi olmayan port) | 161,4 kB | 253,0 kB | [dosya listesi] |