すべてのオプション
wheezy  ]

仮想パッケージ: libcoq-ocaml-9fp12

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

libcoq-ocaml-9fp12 を提供するパッケージ

libcoq-ocaml
runtime libraries for Coq