[ 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