From 7b4ffeaf53aa0b4aaa873fc33b2d4e8053bfef70 Mon Sep 17 00:00:00 2001
From: Nur a bot <198656834+nur-a-bot[bot]@users.noreply.github.com>
Date: Sat, 31 May 2025 00:21:32 +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 57b8dc15b..f5cbf3dec 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1644,8 +1644,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "1da2372c206ca1e6b48d1cd98cec44a37839ef15",
-            "sha256": "1vr417qwvc03wd41nx41yciflywdc0ngbf3kzrskl1ffj2z4n55h",
+            "rev": "7be604d935c36422a225635b25cb4dd61db807d1",
+            "sha256": "1zxm4fs45rp5rsggdgz8m1yfs488rpnw836z2j3j0nafwshfmy0k",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {