[ sid ]
软件包：eprover-dbgsym（3.1.0+ds-1）
[debports]
eprover-dbgsym 的相关链接
Debian 的资源：
下载源码包 ：
未找到
维护小组：
相似软件包：
debug symbols for eprover
其他与 eprover-dbgsym 有关的软件包
-
- dep:
eprover
(= 3.1.0+ds-1)
- Equational theorem prover
下载 eprover-dbgsym
下载可用于所有硬件架构的
| 硬件架构 |
软件包大小 |
安装后大小 |
文件 |
|---|
| x32 （非官方移植版） |
130.7 kB | 738.0 kB |
[文件列表]
|
