Skip to content
Sections
>> Trisquel >> パッケージ >> nabia >> virtual >> libghc-dec-dev-0.0.3-392ac
[  nabia  ]

仮想パッケージ: libghc-dec-dev-0.0.3-392ac

これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。

libghc-dec-dev-0.0.3-392ac を提供するパッケージ

libghc-dec-dev
decidable propositions