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