automatic update

2024-03-15 22:08:59 +00:00 · 2024-03-15 22:08:59 +00:00 · d26f400fc6
commit d26f400fc6
parent c75fd09453
1 changed files with 5 additions and 0 deletions
--- 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",