[ 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