仮想パッケージ: libwhy3-ocaml-dev-mtbt3

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

libwhy3-ocaml-dev-mtbt3 を提供するパッケージ