From a166d1340879d3adb7f6d825751cf742c757d02b Mon Sep 17 00:00:00 2001
From: Ziteng Wang <z@wzt.me>
Date: Wed, 13 Mar 2024 14:25:13 -0700
Subject: [PATCH] add progsyn repository

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

diff --git a/repos.json b/repos.json
index aa4a89407..b9381f6d1 100644
--- a/repos.json
+++ b/repos.json
@@ -1066,6 +1066,10 @@
             "github-contact": "UnidealisticRaccoon",
             "url": "https://github.com/UnidealisticRaccoon/SnowyBurrow"
         },
+        "progsyn": {
+            "github-contact": "mistzzt",
+            "url": "https://github.com/mistzzt/program-synthesis-nur"
+        },
         "pschuprikov": {
             "github-contact": "pschuprikov",
             "url": "https://github.com/pschuprikov/nur-packages"