Віртуальний пакунок: libghc-sbv-prof-5.14-df2ff

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

Пакунки що надають libghc-sbv-prof-5.14-df2ff

libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries