[ etiona ]
Віртуальний пакунок: libghc-smtlib-dev-1.0.8-b022b
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libghc-smtlib-dev-1.0.8-b022b
- libghc-smtlib-dev
- A library for working with the SMTLIB format.