略过导航栏
Packages
关于 Debian
获取 Debian
支持
Developers' Corner
/
软件包
/
sid (unstable)
/
debug
/ libcoq-ocaml-dbgsym
软件包名
描述信息
源码包名
软件包内容
全部搜索项
[
sid
]
[ 源代码:
]
软件包:libcoq-ocaml-dbgsym(8.12.0-3 以及其他的) [
debports
]
libcoq-ocaml-dbgsym 的相关链接
Debian 的资源:
报告问题
下载源码包
:
未找到
维护小组:
相似软件包:
libcoq-serapi-ocaml-dbgsym
libcoq-aac-tactics-dbgsym
libcoq-bignums-dbgsym
libcoq-dpdgraph-dbgsym
libcoq-elpi-dbgsym
libcoq-equations-dbgsym
libcoq-gappa-dbgsym
libcoq-hammer-dbgsym
libcoq-interval-dbgsym
libcoq-mtac2-dbgsym
libcoq-paramcoq-dbgsym
debug symbols for libcoq-ocaml
其他与 libcoq-ocaml-dbgsym 有关的软件包
依赖
推荐
建议
增强
dep:
libcoq-ocaml
(= 8.12.0-3+b3)
runtime libraries for Coq
下载 libcoq-ocaml-dbgsym
下载可用于所有硬件架构的
硬件架构
版本
软件包大小
安装后大小
文件
sparc64
(非官方移植版)
8.12.0-3+b3
35.5 kB
52.0 kB
[
文件列表
]