[ etiona ]
仮想パッケージ: libaac-tactics-ocaml-dev-hv7z9
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libaac-tactics-ocaml-dev-hv7z9 を提供するパッケージ
- libaac-tactics-ocaml-dev
- Coq tactics for reasoning modulo AC (devt files)
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。