[ nabia ]
Віртуальний пакунок: libghc-presburger-dev-1.3.1-4c1c9
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libghc-presburger-dev-1.3.1-4c1c9
- libghc-presburger-dev
- decision procedure for quantifier-free linear arithmetic