略過導航欄
Packages
About Debian
Getting Debian
Support
Developers' Corner
/
套件
/
sid (unstable)
/
debug
/ libcoq-bignums-dbgsym
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
[
sid
]
[ 原始碼:
]
套件:libcoq-bignums-dbgsym(8.17.0-3 以及其他的) [
debports
]
libcoq-bignums-dbgsym 的相關連結
Debian 的資源:
報告問題
下載原始碼套件
:
未找到
維護小組:
相似套件:
libcoq-aac-tactics-dbgsym
libcoq-core-ocaml-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-bignums
其他與 libcoq-bignums-dbgsym 有關的套件
依賴
推薦
建議
增強
dep:
libcoq-bignums
(= 8.17.0-3+b2)
Coq library for big numbers
下載 libcoq-bignums-dbgsym
下載可用於所有硬體架構的
硬體架構
版本
套件大小
安裝後大小
檔案
riscv64
(非官方移植版)
8.17.0-3+b2
3。5 kB
24。0 kB
[
檔案列表
]