[ sid ]
Paket: depqbf-dbgsym (5.01-3) [debports]
depqbf-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for depqbf
depqbf-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: depqbf (= 5.01-3)
- solver for quantified boolean formulae
depqbf-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
m68k (resmi olmayan port) | 404,5 kB | 438,0 kB | [dosya listesi] |