Redirect to /downloader?f=Rivet-1.8.0.tar.bz2