» Ubuntu » パッケージ » bionic (18.04LTS) » virtual » coq-8.6+4.05.0
bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]

仮想パッケージ: coq-8.6+4.05.0

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

coq-8.6+4.05.0 を提供するパッケージ

coq
proof assistant for higher-order logic (toplevel and compiler)