[ 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]