[ etiona ]
Віртуальний пакунок: libssreflect-ocaml-2iti5
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libssreflect-ocaml-2iti5
- libssreflect-ocaml
- small scale reflection extension for Coq (plugin)