仮想パッケージ: haskell-agda-doc
This is a virtual package. See the Debian policy for a definition of virtual packages.
haskell-agda-doc を提供するパッケージ
- libghc-agda-doc
- 依存型付けされた関数プログラミング言語 (ドキュメンテーション)
This is a virtual package. See the Debian policy for a definition of virtual packages.