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

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

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