Віртуальний пакунок: libghc-copilot-theorem-dev-4.5-78629

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

Пакунки що надають libghc-copilot-theorem-dev-4.5-78629