coq-mmaps.1.0: fix tar ball hash

coq · Nov 14, 2024 · f1dd3d2 · f1dd3d2
1 parent 8d88e4f
commit f1dd3d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-mmaps/coq-mmaps.1.0/opam b/released/packages/coq-mmaps/coq-mmaps.1.0/opam
@@ -35,7 +35,7 @@ authors: [
 
 url {
   src: "https://github.com/coq-community/coq-mmaps/archive/v1.0.tar.gz"
-  checksum: "sha512=4e98b43afea6732c53a5e9c2e410ec1ff186c32ba896292dbad0e7630397b836bed30e6f71c20a4c5664eee5edba5ea04aa017e62e5ddf004936ab403b157032"
+  checksum: "sha512=d544b479674ded30eac2ef1aeb1eb15353543e5dba977323fc49b8a6b9660069c9094a73a0d3b3caea42da8c6d4d5a90d5588f293b7488c01771a8099ebe3264"
 }
 extra-files: [
   "locality-warnings.patch"