[ sid ]
软件包:libcoq-paramcoq-dbgsym(1.1.3+coq8.19-2 以及其他的) [debports]
debug symbols for libcoq-paramcoq
其他与 libcoq-paramcoq-dbgsym 有关的软件包
|
|
|
|
-
- dep: libcoq-paramcoq (= 1.1.3+coq8.17-2) [riscv64]
- Coq plugin to generate parametricity statements
- dep: libcoq-paramcoq (= 1.1.3+coq8.19-2) [ppc64]