diff --git a/repos.json.lock b/repos.json.lock
index bf0665cf3..4d46adf9f 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -201,8 +201,8 @@
             "url": "https://github.com/Artturin/artturin-nur"
         },
         "ataraxiasjel": {
-            "rev": "9eb96d121c112b170d921cafa9966c9bdc376b3f",
-            "sha256": "1m54f9pidvcjcbm04465qd4b2ny0kinzv4j9k30sz02b9vjr0sv4",
+            "rev": "91ac508d3f120bbbd78cb520fe728722409256c2",
+            "sha256": "18vxjz8ki0va8qslprig5bd500z7w7sb775kmvsx1bf3vmp0qk7w",
             "url": "https://github.com/AtaraxiaSjel/nur"
         },
         "avrahambenaram": {
@@ -1359,8 +1359,8 @@
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {
-            "rev": "6b78cdaefb04fa55dd435fbf6a06a2b23069ca0d",
-            "sha256": "1y941v22q4kfbfvxwvd723njx997kc74xnriksqzz9f7rwz221gi",
+            "rev": "9a1664dde30b6a6e528c1aa7904846aaf044b946",
+            "sha256": "0638x3cky0fbsnipqq1ynrbaxl1ab4lbfr03pzff79dv7cqncqmr",
             "url": "https://github.com/Propheci/NixUR"
         },
         "pschuprikov": {