[ etiona ]
Віртуальний пакунок: libaac-tactics-ocaml-dev-c0vr8
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libaac-tactics-ocaml-dev-c0vr8
- libaac-tactics-ocaml-dev
- Coq tactics for reasoning modulo AC (devt files)