只搜尋版本： [aria] [bianca]

只搜尋架構： [amd64] [arm64]

您在所有發行版中所有架構下所有版面裡，指定關鍵字 libcoq-aac-tactics 在套件名稱中搜索的結果。 找到 1 個匹配的套件。

完整匹配

套件 libcoq-aac-tactics

• bianca (stable) (math): Coq tactics for reasoning modulo AC (theories)
  8.20.0-1+b4: amd64 arm64