From 95d8e5bbbab6be9fc114f224cd22645abe8da82c Mon Sep 17 00:00:00 2001
From: hirrolot <hirrolot@gmail.com>
Date: Sun, 24 Nov 2024 21:07:41 -0500
Subject: [PATCH] Try to update `checked_oint`

---
 packages/checked_oint/checked_oint.0.3.0/opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/checked_oint/checked_oint.0.3.0/opam b/packages/checked_oint/checked_oint.0.3.0/opam
index 82c288c083c..73930b055c9 100644
--- a/packages/checked_oint/checked_oint.0.3.0/opam
+++ b/packages/checked_oint/checked_oint.0.3.0/opam
@@ -37,7 +37,7 @@ url {
   src:
     "https://github.com/hirrolot/checked_oint/archive/refs/tags/v0.3.0.tar.gz"
   checksum: [
-    "md5=3b95c21cd6dd84dc2ecd5d282ab93af4"
-    "sha512=fd32690a0b99b4113349177b7c0201de4a405fe60d94b22a338575f4a9bd3f45c14576ae216be6a26390f305ed52e6db5bdc15787402be546f9143a4af26fee3"
+    "md5=38b680b7a95d628287062b0240ad052d"
+    "sha512=d56286becf92e998b524c9b347a1226e2c53c381440664cddfa75b8bd8946e2014f22bb5b1082d1f37a27daf40f6858f80294e206eee308fdb744f0dba324044"
   ]
 }