Download this file
version=3 opts=dversionmangle=s/\+ds// \ http://sf.net/fricas/fricas-(.+)-full.tar.bz2