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"