add progsyn repository

This commit is contained in:
Ziteng Wang 2024-03-13 14:25:13 -07:00
parent 1afb6fbae0
commit a166d13408

View file

@ -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"