eLxr packages您在所有发行版中所有架构下所有版面里，指定关键字 libcoq-aac-tactics 在软件包名称中搜索的结果。 找到 1 个匹配的软件包。
完整匹配
软件包 libcoq-aac-tactics
- bianca (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.20.0-1+b4: amd64 arm64
您在所有发行版中所有架构下所有版面里，指定关键字 libcoq-aac-tactics 在软件包名称中搜索的结果。 找到 1 个匹配的软件包。