[ sid ]
Paket: cryptominisat-dbgsym (5.11.15+dfsg1-1.1) [debports]
cryptominisat-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for cryptominisat
cryptominisat-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: cryptominisat (= 5.11.15+dfsg1-1.1)
- SAT solver command line interface
cryptominisat-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
hppa (resmi olmayan port) | 950,4 kB | 1.043,0 kB | [dosya listesi] |