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