From 800c72044f2e46616f6469367d5f4f2ddc2cd6b9 Mon Sep 17 00:00:00 2001
From: Nur a bot <nixpkgs-review@example.com>
Date: Mon, 28 Oct 2024 04:22:41 +0000
Subject: [PATCH] automatic update

---
 repos.json.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/repos.json.lock b/repos.json.lock
index f46bdb8de..54c00b3e9 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -201,8 +201,8 @@
             "url": "https://github.com/angr/nixpkgs"
         },
         "anntnzrb": {
-            "rev": "c178820f9f09867fe0606ccfed8899c47771772e",
-            "sha256": "190f7c0kadczfacw7nvw7cpq9rxs7n54dnxvsn1086swmwlqc2d8",
+            "rev": "e9565dd6a9233824b4786f3d9e02229fd6dfae7e",
+            "sha256": "0gh51yh7gprhzrprjcmpz29zf91qj0sf9rgfkrk0dzyx34df87bg",
             "url": "https://github.com/anntnzrb/nurpkgs"
         },
         "anthonyroussel": {
@@ -1454,8 +1454,8 @@
             "url": "https://git.sr.ht/~priegger/nur-packages"
         },
         "progsyn": {
-            "rev": "3eeebdf83671c45f0671c2d9ef1e49087624fc7e",
-            "sha256": "1k3jq39pl25zz8xbmx2vj98bwr6k3ps8qynvj0ljjdz6c6acjc19",
+            "rev": "d4608542b14a6e2f4c8ef55ea72b87d73a188777",
+            "sha256": "0hjdf8ab96gcjbrpa9szv6mwj18428zcqqm1llyrr8rxqkgvmgkl",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
         "propheci": {