Redirect to /downloader?f=FlexibleSUSY-2.4.2.tar.gz