[ aramo ]
仮想パッケージ: libcoq-core-ocaml-dev-aosg1
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libcoq-core-ocaml-dev-aosg1 を提供するパッケージ
- libcoq-core-ocaml-dev
- development libraries and tools for Coq
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。