[ sid ]
套件:libcoq-aac-tactics-dbgsym(8.17.0-3 以及其他的) [debports]
debug symbols for libcoq-aac-tactics
其他與 libcoq-aac-tactics-dbgsym 有關的套件
|
|
|
|
-
- dep: libcoq-aac-tactics (= 8.17.0-2+b2) [riscv64]
- Coq tactics for reasoning modulo AC (theories)
- dep: libcoq-aac-tactics (= 8.17.0-3) [ppc64]