diff --git a/released/packages/coq-hol-light-real-with-nat/coq-hol-light-real-with-nat.1.0.0/opam b/released/packages/coq-hol-light-real-with-nat/coq-hol-light-real-with-nat.1.0.0/opam
index 074ef0effa..13cedf39e3 100644
--- a/released/packages/coq-hol-light-real-with-nat/coq-hol-light-real-with-nat.1.0.0/opam
+++ b/released/packages/coq-hol-light-real-with-nat/coq-hol-light-real-with-nat.1.0.0/opam
@@ -26,5 +26,5 @@ tags: [
 ]
 url {
   src: "https://github.com/Deducteam/coq-hol-light-real-with-nat/archive/refs/tags/1.0.0.tar.gz"
-  checksum: "sha256=40cb848c6f78e75e123d3e5383b1257705509f1c3aad00b620eca889eb826254"
+  checksum: "sha256=0b1fa9996c9f8fadb1ed1be7df5c52fb2bcfc8df89b45596ca3a23133b18ef7b"
 }