虛擬套件： libaac-tactics-ocaml-dev-hf7x7

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libaac-tactics-ocaml-dev-hf7x7 的套件

libaac-tactics-ocaml-dev

Coq tactics for reasoning modulo AC (devt files)