From a0e928bf23af13d3fba86c3ed2249a4fea0987b8 Mon Sep 17 00:00:00 2001
From: Nur a bot <nixpkgs-review@example.com>
Date: Mon, 7 Oct 2024 18:20:28 +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 c30c9846f..21d0d4655 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1444,8 +1444,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "e5be1608fcfe1c1b109f5c97e1a93673f265c30d",
-            "sha256": "179qqv5227nvcdhlw94b0cbl4z0b1ah7cii143grnh1w3gcrglhd",
+            "rev": "3eeebdf83671c45f0671c2d9ef1e49087624fc7e",
+            "sha256": "1k3jq39pl25zz8xbmx2vj98bwr6k3ps8qynvj0ljjdz6c6acjc19",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {