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
index 5acc4bfbc..2f5bd5dc4 100644
--- 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
@@ -27,5 +27,5 @@ tags: [
 ]
 url {
   src: "https://github.com/Deducteam/coq-hol-light-real/archive/refs/tags/1.0.0.tar.gz"
-  checksum: "sha256=dd1dcf15c5113475952bcda3035b749346b5465ca8a73994d95683174893a1b7"
+  checksum: "sha256=e81cae6d20752c610443de5092cf57c76c29b03f063af4010689d74ce92486db"
 }