Віртуальний пакунок: liblem-ocaml-dev-e8393

Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.

Пакунки що надають liblem-ocaml-dev-e8393

liblem-ocaml-dev

Tool merging math and logic for executable definitions (development)