[ aramo ]
Віртуальний пакунок: libcoq-elpi-ocaml-dev-gdau9
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libcoq-elpi-ocaml-dev-gdau9
- libcoq-elpi-ocaml-dev
- Coq plugin embedding Elpi (devel)