From 8ad6b1492512098d9c60a4749b8f0037c20f199c Mon Sep 17 00:00:00 2001
From: Nur a bot <198656834+nur-a-bot[bot]@users.noreply.github.com>
Date: Mon, 24 Nov 2025 22:12:30 +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 b64c4c6ab..517437348 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1869,8 +1869,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "a51fe91af2a0c6e92ca1ceeca524b7c0c13abb8e",
-            "sha256": "1x8pcp3yngsnvxbchgcgw591j26kh41lp28dwbbmpngkavb234nd",
+            "rev": "7ff4b00054b968e6fcde7a3fb23a5a9bb248cb1c",
+            "sha256": "0v57wgcgx3pyh1cncpzlk44r1sy4ndvk2gn42v3fharh3k1pmbk4",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {