>> Trisquel >> 套件 >> aramo >> virtual >> libghc-dec-dev-0.0.3-cd28f

[ aramo ]

虛擬套件： libghc-dec-dev-0.0.3-cd28f

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

提供 libghc-dec-dev-0.0.3-cd28f 的套件

libghc-dec-dev: decidable propositions