[ sid ]
套件:libcoq-quickchick-dbgsym(2.0-2 以及其他的) [debports]
debug symbols for libcoq-quickchick
其他與 libcoq-quickchick-dbgsym 有關的套件
|
|
|
|
-
- dep: libcoq-quickchick (= 2.0-2+b1)
- randomized testing framework for Coq (plugin)