From 114eefa435d57487295dd2f0b5d0f805c4175daa Mon Sep 17 00:00:00 2001
From: Nur a bot <nixpkgs-review@example.com>
Date: Mon, 28 Oct 2024 05:09:35 +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 0b035b905..8f153874e 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1454,8 +1454,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "d4608542b14a6e2f4c8ef55ea72b87d73a188777",
-            "sha256": "0hjdf8ab96gcjbrpa9szv6mwj18428zcqqm1llyrr8rxqkgvmgkl",
+            "rev": "3df671b03d7a3b7d23ed1fa86595837ef9672d1a",
+            "sha256": "0769d1qg39mjmw0hnw9gg7hp0alyza5cnikcgl6z9wqvjqkq77f8",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {