略過導航欄
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
套件
/
sid (unstable)
/
debug
/ libcoq-ocaml-dbgsym
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
[
sid
]
[ 原始碼:
]
套件:libcoq-ocaml-dbgsym(8.12.0-3 以及其他的) [
debports
]
libcoq-ocaml-dbgsym 的相關連結
Debian 的資源:
報告問題
下載原始碼套件
:
未找到
維護小組:
相似套件:
libcoq-aac-tactics-dbgsym
libcoq-bignums-dbgsym
libcoq-dpdgraph-dbgsym
libcoq-elpi-dbgsym
libcoq-equations-dbgsym
libcoq-gappa-dbgsym
libcoq-hammer-dbgsym
libcoq-interval-dbgsym
libcoq-mtac2-dbgsym
libcoq-paramcoq-dbgsym
libcoq-quickchick-dbgsym
debug symbols for libcoq-ocaml
其他與 libcoq-ocaml-dbgsym 有關的套件
依賴
推薦
建議
增強
dep:
libcoq-ocaml
(= 8.12.0-3+b3)
runtime libraries for Coq
下載 libcoq-ocaml-dbgsym
下載可用於所有硬體架構的
硬體架構
版本
套件大小
安裝後大小
檔案
hppa
(非官方移植版)
8.12.0-3+b3
39。9 kB
56。0 kB
[
檔案列表
]