[ sid ]
套件:libcoq-dpdgraph-dbgsym(1.0+8.17-1 以及其他的) [debports]
debug symbols for libcoq-dpdgraph
其他與 libcoq-dpdgraph-dbgsym 有關的套件
|
|
|
|
-
- dep: libcoq-dpdgraph (= 1.0+8.17-1+b1)
- Coq plugin to extract dependencies between Coq objects