From d26f400fc66e5adeae34255ce31275af1dd3d616 Mon Sep 17 00:00:00 2001
From: Nur a bot <nixpkgs-review@example.com>
Date: Fri, 15 Mar 2024 22:08:59 +0000
Subject: [PATCH] automatic update

---
 repos.json.lock | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos.json.lock b/repos.json.lock
index 35bea6d41..1c92082c8 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -1288,6 +1288,11 @@
             "sha256": "1a811nfin1wfj6r2ff92spca2xlkalknvdxis74q7mrl5dshw2w9",
             "url": "https://github.com/UnidealisticRaccoon/SnowyBurrow"
         },
+        "progsyn": {
+            "rev": "c5be3dd991815938e75e78be2f63770f91e30ec0",
+            "sha256": "084ibmq9jl6zayrdjzjpg7zac13vy5jw0b3xmmb2k9py5a17gmaz",
+            "url": "https://github.com/mistzzt/program-synthesis-nur"
+        },
         "pschuprikov": {
             "rev": "39933bbec28fee1e262804796fef691d3996db48",
             "sha256": "1p3wnfm7ah9lr0g4gplyfz88ccfs2bd3hfwv4pn2wcxyv5rz3q2x",