略過導航欄
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
套件
/
sid (unstable)
/
debug
/ libcvc5-1-dbgsym
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
[
sid
]
[ 原始碼:
]
套件:libcvc5-1-dbgsym(1.0.5-3) [
debports
]
libcvc5-1-dbgsym 的相關連結
Debian 的資源:
報告問題
下載原始碼套件
:
未找到
維護小組:
相似套件:
libcvc4-4-dbgsym
libcvc0-dbgsym
linux-image-6.4.0-1-riscv64-dbg
liblua5.1-0-dbg
libservicelog-1.1-1-dbgsym
libattica-dbg
libabw-0.1-1-dbgsym
libcairomm-1.16-1-dbgsym
libcapnp-1.0.1-dbgsym
libcdr-0.1-1-dbgsym
libdex-1-1-dbgsym
debug symbols for libcvc5-1
其他與 libcvc5-1-dbgsym 有關的套件
依賴
推薦
建議
增強
dep:
libcvc5-1
(= 1.0.5-3)
automated theorem prover for SMT problems (runtime)
下載 libcvc5-1-dbgsym
下載可用於所有硬體架構的
硬體架構
套件大小
安裝後大小
檔案
riscv64
(非官方移植版)
141,763。4 kB
145,049。0 kB
[
檔案列表
]