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