[ sid ]
套件:libcoq-hammer-dbgsym(1.3.2+8.17-1 以及其他的) [debports]
debug symbols for libcoq-hammer
其他與 libcoq-hammer-dbgsym 有關的套件
|
|
|
|
-
- dep: libcoq-hammer (= 1.3.2+8.17-1+b2)
- automated reasoning tool for Coq