[ lunar ]
仮想パッケージ: coq-8.16.1+4.13.1
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
coq-8.16.1+4.13.1 を提供するパッケージ
- coq
- proof assistant for higher-order logic (toplevel and compiler)
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。