Made by Volker Braun, May 2011, for VirtualBox with an automatic script. Updates: * 4.7.1 in August, also by Volker * 4.7.2 in November, also by Volker Read more here: https://groups.google.com/d/topic/sage-release/TKZxsbVr_ac/discussion OVA is the "open virtualization format" http://en.wikipedia.org/wiki/Open_Virtualization_Format For more information, follow the VirtualBox setup instructions in README-virtualbox.txt