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