diff --git a/repos.json.lock b/repos.json.lock
index 2ae86683d..832c16fe3 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1579,8 +1579,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "7e1607aa7d20183ef147439be48e00b39cd33599",
-            "sha256": "02jmvragz1hfg21gxxbj60lvgnr5bbf5j92m74v92d2lsrhifhbm",
+            "rev": "5a89268d93eb4ebd4d954acbd679ad8c7e6c0cd5",
+            "sha256": "02714inwkkjv466hdl3s5palzdjnacmbhhfa9p6p5kgyalh2n9k2",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {