The two critical editions, prepared by Sasson Horesh, of Averroes’s Short Commentary on De Caelo in Hebrew translation and the corresponding supercommentary by Levi ben Gershom (Gersonides) are online again. You can download them from the section Community/Publications.