Redirect to /downloader?f=Rivet-3.1.7.tar.gz