[ sid ]
套件:libcoq-elpi-dbgsym(1.17.1-1 以及其他的) [debports]
debug symbols for libcoq-elpi
其他與 libcoq-elpi-dbgsym 有關的套件
|
|
|
|
-
- dep: libcoq-elpi (= 1.17.1-1+b4) [riscv64]
- Coq plugin embedding Elpi
- dep: libcoq-elpi (= 1.17.1-1+b8) [ppc64]