diff --git a/repos.json.lock b/repos.json.lock
index 0996e2435..a4eeb77b5 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1454,8 +1454,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "3eeebdf83671c45f0671c2d9ef1e49087624fc7e",
-            "sha256": "1k3jq39pl25zz8xbmx2vj98bwr6k3ps8qynvj0ljjdz6c6acjc19",
+            "rev": "ecacc0c2ed8e9816f0636e09ef2b3bc1a5c640b2",
+            "sha256": "0rv00vh46r29ffk6csq4dmb844m93wh5laxf5mhzk7v1apk2x6zm",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {