diff --git a/repos.json.lock b/repos.json.lock
index f5cbf3dec..96661e9b0 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -487,8 +487,8 @@
             "url": "https://github.com/cransom/nur-packages"
         },
         "crazazy": {
-            "rev": "57bab9f96a2db6b8b272a429c6b7a2498100f948",
-            "sha256": "1bcq6r64c6pgj4nw5r3pwvzfxb06z3h6mcn0hk3n5xaqgliirn6a",
+            "rev": "d770c1d8f7dc7720d42ace5539c8ce90f50de3e6",
+            "sha256": "0ygy6j2vpm8sb2k4qh53zxg3zgdd656wh4rmr9ygssy2mczn0n2w",
             "url": "https://github.com/crazazy/nixos-config"
         },
         "crazedprogrammer": {
@@ -1644,8 +1644,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "7be604d935c36422a225635b25cb4dd61db807d1",
-            "sha256": "1zxm4fs45rp5rsggdgz8m1yfs488rpnw836z2j3j0nafwshfmy0k",
+            "rev": "a51fe91af2a0c6e92ca1ceeca524b7c0c13abb8e",
+            "sha256": "1x8pcp3yngsnvxbchgcgw591j26kh41lp28dwbbmpngkavb234nd",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {