虛擬套件： haskell-agda-doc

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 haskell-agda-doc 的套件

libghc-agda-doc

dependently typed functional programming language; documentation