[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

仮想パッケージ: minisat2

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

minisat2 を提供するパッケージ