市川＠アイロベックスと申します。 ついでなので コマンドラインからパッケージを探す場合は $ apt-cache search 文字列 が使えますね。（部分一致検索。大文字小文字関係なし） ただし、mysqlなどは関連するパッケージも多くヒットするので、 $ apt-cache search mysql | grep -i server とかで絞った方が良いでしょう。 GNUの javaは $ apt-cache search java | grep -i gnu でしょうかね。 gcc で検索してしまうと場合によっては jdk(java)は ヒットしないかもしれません。 パッケージ名は gcj みたいですので。 -- 市川孝文＠アイロベックス