略過導航欄
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
套件
/
sid (unstable)
/
debug
/ libz3-4-dbgsym
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
[
sid
]
[ 原始碼:
]
套件:libz3-4-dbgsym(4.8.12-3.1) [
debports
]
libz3-4-dbgsym 的相關連結
Debian 的資源:
報告問題
下載原始碼套件
:
未找到
維護小組:
相似套件:
libzed-ocaml-dbgsym
libzadc4
libzadc-dev
librust-libz-sys-dev
librust-libz-sys+cmake-dev
librust-libz-sys+default-dev
librust-libz-sys+libc-dev
librust-libz-sys+zlib-ng-dev
librust-flate2+libz-sys-dev
genwqe-tools
linux-image-4.19.0-20-686-dbg
debug symbols for libz3-4
其他與 libz3-4-dbgsym 有關的套件
依賴
推薦
建議
增強
dep:
libz3-4
(= 4.8.12-3.1)
theorem prover from Microsoft Research - runtime libraries
下載 libz3-4-dbgsym
下載可用於所有硬體架構的
硬體架構
套件大小
安裝後大小
檔案
riscv64
(非官方移植版)
116,037。5 kB
119,753。0 kB
[
檔案列表
]