虛擬套件：haskell-agda-doc

This is a virtual package. See the Debian policy for a definition of virtual packages.

負責填實 haskell-agda-doc 的套件

libghc-agda-doc

dependently typed functional programming language; documentation