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