[ aramo ]
仮想パッケージ: libghc-agda-dev-2.6.1-401b2
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libghc-agda-dev-2.6.1-401b2 を提供するパッケージ
- libghc-agda-dev
- dependently typed functional programming language
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。