I just realized that the file name is called Sage-4.7.ova but it should be sage-4.7.ova (lower case!). Virtualbox is unfortunately very picky about the file name. This is http://www.virtualbox.org/ticket/9033.
Harald: can you fix the file name on the download page? -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org