[ sid ]
Paket: cryptominisat-dbgsym (5.11.21+dfsg1-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.21+dfsg1-1)
- SAT solver command line interface
cryptominisat-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
sparc64 (resmi olmayan port) | 1.223,9 kB | 1.293,0 kB | [dosya listesi] |