略過導航欄
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
套件
/
sid (unstable)
/
debug
/ coq-dbgsym
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
[
sid
]
[ 原始碼:
]
套件:coq-dbgsym(8.17.0+dfsg-1 以及其他的) [
debports
]
coq-dbgsym 的相關連結
Debian 的資源:
報告問題
下載原始碼套件
:
未找到
維護小組:
相似套件:
coq
debian-coq-tools
why3-coq
dh-coq
coq-dpdgraph-tools
libcoq-reduction-effects
libcoq-mtac2
libcoq-coquelicot
libcoq-record-update
libcoq-libhyps
libcoq-aac-tactics
debug symbols for coq
其他與 coq-dbgsym 有關的套件
依賴
推薦
建議
增強
dep:
coq
(= 8.17.0+dfsg-1+b2)
proof assistant for higher-order logic (toplevel and compiler)
下載 coq-dbgsym
下載可用於所有硬體架構的
硬體架構
版本
套件大小
安裝後大小
檔案
ppc64
(非官方移植版)
8.17.0+dfsg-1+b2
8,064。9 kB
36,430。0 kB
[
檔案列表
]
riscv64
(非官方移植版)
8.17.0+dfsg-1+b2
8,984。3 kB
36,988。0 kB
[
檔案列表
]