From 54352c3c3110f34e71a2ae9a0210aa6955555760 Mon Sep 17 00:00:00 2001
From: Nur a bot <198656834+nur-a-bot[bot]@users.noreply.github.com>
Date: Fri, 7 Mar 2025 21:44:58 +0000
Subject: [PATCH] automatic update

---
 repos.json.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos.json.lock b/repos.json.lock
index a477f1489..aca3b93ee 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1574,8 +1574,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "3df671b03d7a3b7d23ed1fa86595837ef9672d1a",
-            "sha256": "0769d1qg39mjmw0hnw9gg7hp0alyza5cnikcgl6z9wqvjqkq77f8",
+            "rev": "7e1607aa7d20183ef147439be48e00b39cd33599",
+            "sha256": "02jmvragz1hfg21gxxbj60lvgnr5bbf5j92m74v92d2lsrhifhbm",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {