From 9338b0106ef706e7feff28bb0da3c14d452d7059 Mon Sep 17 00:00:00 2001
From: Akshett Rai Jindal <akshett.jindal@research.iiit.ac.in>
Date: Mon, 10 Jun 2024 15:39:20 +0530
Subject: [PATCH] Update repos.json

Add "propheci" to NUR
---
 repos.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos.json b/repos.json
index 32019180a..08156512b 100644
--- a/repos.json
+++ b/repos.json
@@ -1106,6 +1106,10 @@
             "github-contact": "mistzzt",
             "url": "https://github.com/mistzzt/program-synthesis-nur"
         },
+        "propheci": {
+            "github-contact": "akshettrj",
+            "url": "https://github.com/Propheci/NixUR"
+        },
         "pschuprikov": {
             "github-contact": "pschuprikov",
             "url": "https://github.com/pschuprikov/nur-packages"