It's actually the correct checksum. The version that Fedora is serving has the same checksum but the OPAM metadata was out-of-date, I guess?