虚包: libcoq-aac-tactics-45ah6

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

负责填实 libcoq-aac-tactics-45ah6 的软件包

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)