Віртуальний пакунок: libghc-smtlib-prof-1.1-222f0

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

Пакунки що надають libghc-smtlib-prof-1.1-222f0

libghc-smtlib-prof

A library for working with the SMTLIB format.; profiling libraries