Hi, I have a new faster laptop with a lot more RAM (8GB, woot), so it's suddenly become much easier for me to install Linux into VirtualBox's in my spare time in the background. So I'm going to be adding VirtualBox images to boxen for the following OS's:
CentOS-5.5-i386 CentOS-5.5-x86_64 Fedora-13-i686 Fedora-13-x86_64 debian-506-amd64 debian-506-i386 ubuntu-10.10-desktop-amd64 ubuntu-10.10-desktop-i386 I do not want to spend much time configuring and maintaining them myself though! Does anybody want to help? Basically, I would turn the machine on, and give you an account with sudo permissions, and hope you can add build tools, add the machine to Mitesh's buildbot. What else is critical to do? I'll then turn off the existing very old versions of the above OS's, which are currently being served on boxen. -- William -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org