[ sid ]
Paket: cbmc-dbgsym (5.95.1-4) [debports]
cbmc-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for cbmc
cbmc-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: cbmc (= 5.95.1-4)
- bounded model checker for C and C++ programs
cbmc-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
hppa (resmi olmayan port) | 456.269,4 kB | 464.565,0 kB | [dosya listesi] |