coq-hol-light-real-with-nat: fix checksum

a25e4c77 · Frédéric Blanqui · ed177ea5 · a25e4c77
Commit a25e4c77 authored 1 month ago by Frédéric Blanqui
--- 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"
 }