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