略过导航栏
Packages
关于 Debian
获取 Debian
支持
Developers' Corner
/
软件包
/
sid (unstable)
/
debug
/ rumur-dbgsym
软件包名
描述信息
源码包名
软件包内容
全部搜索项
[
sid
]
[ 源代码:
]
软件包:rumur-dbgsym(2023.05.21-1) [
debports
]
rumur-dbgsym 的相关链接
Debian 的资源:
报告问题
下载源码包
:
未找到
维护小组:
相似软件包:
xen-utils-4.17-dbg
libxfce4ui-1-dbg
libxfce4ui-2-dbg
gimp-dbg
digikam-dbg
binutils-aarch64-linux-gnu-dbg
binutils-alpha-linux-gnu-dbg
binutils-arm-linux-gnueabi-dbg
binutils-arm-linux-gnueabihf-dbg
binutils-hppa-linux-gnu-dbg
binutils-hppa64-linux-gnu-dbg
debug symbols for rumur
其他与 rumur-dbgsym 有关的软件包
依赖
推荐
建议
增强
dep:
rumur
(= 2023.05.21-1)
model checker for the Murphi language
下载 rumur-dbgsym
下载可用于所有硬件架构的
硬件架构
软件包大小
安装后大小
文件
riscv64
(非官方移植版)
13,130.0 kB
14,225.0 kB
[
文件列表
]