From 13b462943bf8a390ff24153b5cdb40d1bc4944f3 Mon Sep 17 00:00:00 2001
From: Nur a bot <nixpkgs-review@example.com>
Date: Tue, 28 May 2024 03:06:23 +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 bc85cd86d..f38c68cfe 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1339,8 +1339,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "965335531fc943cf577532db9f52e2ff03db1d71",
-            "sha256": "1305fxaa6rjznfxjvi5j2r6a7931s8aqb5pknjb13wmjvaawccqd",
+            "rev": "7f3649c01eb6e8c895e84a21bc0802670afc92ad",
+            "sha256": "0dfzgfwnh50ra327m8fdrwc10qmdkknc74rq1nxvmvw5yg1d41pq",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "pschuprikov": {