[ sid ]
软件包：jbmc-dbgsym（6.1.1-2）
[debports]
jbmc-dbgsym 的相关链接
Debian 的资源：
下载源码包 ：
未找到
维护小组：
相似软件包：
其他与 jbmc-dbgsym 有关的软件包
-
- dep:
jbmc
(= 6.1.1-2)
- bounded model checker for Java programs
下载 jbmc-dbgsym
下载可用于所有硬件架构的
| 硬件架构 |
软件包大小 |
安装后大小 |
文件 |
|---|
| ppc64 （非官方移植版） |
202,945.3 kB | 206,522.0 kB |
[文件列表]
|
