>> Trisquel >> 套件 >> nabia >> virtual >> libghc-agda-dev-2.6.0.1-e1905

[ nabia ]

虛擬套件： libghc-agda-dev-2.6.0.1-e1905

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

提供 libghc-agda-dev-2.6.0.1-e1905 的套件

libghc-agda-dev: dependently typed functional programming language