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