Sorry, it's the checksum of the tar under the gzip which is what both Fedora and ocaml-programming.de serve for that URL. Alternately, encoding negotiation is lamentably busted because servers are deciding to negotiate for transport compression and then using the existing gzip compression instead of just serving the original gzip. :-(