[ sid ]
软件包:coq-dbgsym(8.17.0+dfsg-1 以及其他的) [debports]
debug symbols for coq
其他与 coq-dbgsym 有关的软件包
|
|
|
|
-
- dep: coq (= 8.17.0+dfsg-1+b2)
- proof assistant for higher-order logic (toplevel and compiler)