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