略过导航栏
Packages
关于 Debian
获取 Debian
支持
Developers' Corner
/
软件包
/
sid (unstable)
/
debug
/ libz3-jni-dbgsym
软件包名
描述信息
源码包名
软件包内容
全部搜索项
[
sid
]
[ 源代码:
]
软件包:libz3-jni-dbgsym(4.8.12-3.1) [
debports
]
libz3-jni-dbgsym 的相关链接
Debian 的资源:
报告问题
下载源码包
:
未找到
维护小组:
相似软件包:
libzed-ocaml-dbgsym
bbmap-jni-dbgsym
libastylej-jni-dbgsym
libatk-wrapper-java-jni-dbgsym
libbrlapi-jni-dbgsym
libcephfs-jni-dbgsym
libcoda-jni-dbgsym
libdarnwdl-jni-dbgsym
libdicomscope-jni-dbgsym
libequinox-executable-jni-dbgsym
libgatk-bwamem-jni-dbgsym
debug symbols for libz3-jni
其他与 libz3-jni-dbgsym 有关的软件包
依赖
推荐
建议
增强
dep:
libz3-jni
(= 4.8.12-3.1)
theorem prover from Microsoft Research - JNI library
下载 libz3-jni-dbgsym
下载可用于所有硬件架构的
硬件架构
软件包大小
安装后大小
文件
riscv64
(非官方移植版)
159.6 kB
247.0 kB
[
文件列表
]