[ sid ]
软件包:depqbf-dbgsym(5.01-3)
[debports]
depqbf-dbgsym 的相关链接
Debian 的资源:
下载源码包 :
未找到
维护小组:
相似软件包:
其他与 depqbf-dbgsym 有关的软件包
-
- dep:
depqbf
(= 5.01-3)
- solver for quantified boolean formulae
下载 depqbf-dbgsym
下载可用于所有硬件架构的
硬件架构 |
软件包大小 |
安装后大小 |
文件 |
ppc64 (非官方移植版) |
439.0 kB | 483.0 kB |
[文件列表]
|