[ etiona ]
Віртуальний пакунок: libghc-agda-dev-2.5.3-c5b4b
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libghc-agda-dev-2.5.3-c5b4b
- libghc-agda-dev
- dependently typed functional programming language