[ aramo ]
仮想パッケージ: libcoq-elpi-ocaml-dev-gdau9
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libcoq-elpi-ocaml-dev-gdau9 を提供するパッケージ
- libcoq-elpi-ocaml-dev
- Coq plugin embedding Elpi (devel)
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。