[ sid ]
套件:libcoq-reduction-effects-dbgsym(0.1.4-4 以及其他的) [debports]
debug symbols for libcoq-reduction-effects
其他與 libcoq-reduction-effects-dbgsym 有關的套件
|
|
|
|
-
- dep: libcoq-reduction-effects (= 0.1.4-4+b2)
- reduction effects for Coq