On Thu, Jun 30, 2011 at 13:48, Volker Braun <vbraun.n...@gmail.com> 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 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
