Skip to content
Sections
>> Trisquel >> Пакеты >> nabia >> virtual >> haskell-agda-doc
[  etiona  ] [  nabia  ] [  aramo  ]

Виртуальный пакет: haskell-agda-doc

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие haskell-agda-doc

libghc-agda-doc
dependently typed functional programming language; documentation