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