>> Trisquel >> 软件包 >> etiona >> virtual >> aac-tactics

[ etiona ] [ nabia ] [ aramo ]

虚包: aac-tactics

这是一个虚包。查看Debian 政策了解虚包的定义。

负责填实 aac-tactics 的软件包

libaac-tactics-coq: Coq tactics for reasoning modulo AC (theories)