[ sid ]
软件包：cvc4-dbgsym（1.8-3 以及其他的）
[debports]
cvc4-dbgsym 的相关链接
Debian 的资源：
下载源码包 ：
未找到
维护小组：
相似软件包：
其他与 cvc4-dbgsym 有关的软件包
-
- dep:
cvc4
(= 1.8-3+b2)
- automated theorem prover for SMT problems
下载 cvc4-dbgsym
下载可用于所有硬件架构的
| 硬件架构 |
版本 |
软件包大小 |
安装后大小 |
文件 |
|---|
| ia64 （非官方移植版） |
1.8-3+b2 |
1,016.0 kB | 1,056.0 kB |
[文件列表]
|
