[ sid ]
Paket: kissat-dbgsym (4.0.3-2) [debports]
kissat-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for kissat
kissat-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
kissat-dbgsym indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| alpha (resmi olmayan port) | 1.526,1 kB | 3.090,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 1.519,2 kB | 2.915,0 kB | [dosya listesi] |
| loong64 (resmi olmayan port) | 1.597,9 kB | 16.121,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 1.447,2 kB | 2.857,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 1.600,9 kB | 3.267,0 kB | [dosya listesi] |
| sh4 (resmi olmayan port) | 1.853,4 kB | 3.052,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 1.534,7 kB | 3.060,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 1.577,4 kB | 2.173,0 kB | [dosya listesi] |