virexの7.5を一旦インストールしてしまってから
7.2に戻すにはどうしたらいいんでしょうか