From c48c12141ff9eba3deacaebecdc515f97b62666d Mon Sep 17 00:00:00 2001
From: Nur a bot <nixpkgs-review@example.com>
Date: Mon, 28 Oct 2024 02:53:02 +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 a4eeb77b5..7b3375558 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1454,8 +1454,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "ecacc0c2ed8e9816f0636e09ef2b3bc1a5c640b2",
-            "sha256": "0rv00vh46r29ffk6csq4dmb844m93wh5laxf5mhzk7v1apk2x6zm",
+            "rev": "7c8cc455963f507d4390aa9f3929573daa9659c5",
+            "sha256": "0arykq6wpp5shwnk0r2jh3z7xnp5ph87r34s8f4jbskpydza8y9l",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {