sourseforge appears to be done. The "tar.gz" file is a an html file that says:
<html><head>
<title>SourceForge</title>
<!-- <script src="" href="http://jquery.com/jquery-1.11.0.min.js">jquery.com/jquery-1.11.0.min.js"></script> -->
<script src="" href="https://code.jquery.com/jquery-1.11.0.min.js">https://code.jquery.com/jquery-1.11.0.min.js"></script>
<script src="" href="https://sourceforge.net/js/mirrors.js">https://sourceforge.net/js/mirrors.js"></script>
<script src=""><script>
var DR_loc = DR_parse_hash_url();
if (DR_loc) {
DR_sf_main(DR_loc);
} else {
window.location.href = "" href="https://sourceforge.net/home.html">https://sourceforge.net/home.html';
}
</script>
<meta name="description" content="Free, secure and fast downloads from the largest Open Source applications and software directory - SourceForge.net"/>
</head><body>
<noscript>
We're sorry -- the Sourceforge site is currently in Disaster Recovery mode. Please check back later.
</noscript>
</body></html>