[ 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 |
---|---|---|---|
sparc64 (resmi olmayan port) | 218.326,5 kB | 222.178,0 kB | [dosya listesi] |