More precisely, the "tarball" is just this HTML fragment:
<html><body>You are being <a href="https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.6";>redirected</a>.</body></html>
I don't know how the release manager downloaded that tarball, as the link on Trac #25480 is correctly responding with a 302 which any decent downloader should automatically follow:
HTTP/1.1 302 Found Date: Thu, 24 Jan 2019 09:14:59 GMT Content-Type: text/html; charset=utf-8 Transfer-Encoding: chunked Server: GitHub.com Status: 302 Found Vary: X-PJAX Location: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.6 -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
