coq-hol-light-real: update checksum

coq · Dec 6, 2024 · 364617a · 364617a
1 parent 880b1a6
commit 364617a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-hol-light-real/coq-hol-light-real.1.0.0/opam b/released/packages/coq-hol-light-real/coq-hol-light-real.1.0.0/opam
@@ -25,5 +25,5 @@ tags: [
 ]
 url {
   src: "https://github.com/Deducteam/coq-hol-light-real/archive/refs/tags/1.0.0.tar.gz"
-  checksum: "sha256=e81cae6d20752c610443de5092cf57c76c29b03f063af4010689d74ce92486db"
+  checksum: "sha256=40cb848c6f78e75e123d3e5383b1257705509f1c3aad00b620eca889eb826254"
 }