[ 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 |
|---|---|---|---|
| sparc64 (resmi olmayan port) | 553.622,6 kB | 563.134,0 kB | [dosya listesi] |