On Thu, Jun 30, 2011 at 13:48, Volker Braun <[email protected]> wrote: > 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? >
err yes. but just for the record, the original file was uppercase, too! vbox really has to fix this, the filename shouldn't matter. h -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
