diff --git a/repos.json b/repos.json
index 96f654332..bc1ee9349 100644
--- a/repos.json
+++ b/repos.json
@@ -7,6 +7,10 @@
             "type": "gitlab",
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
+        "aasg": {
+            "github-contact": "AluisioASG",
+            "url": "https://git.sr.ht/~aasg/nixexprs"
+        },
         "angr": {
             "url": "https://github.com/angr/nixpkgs"
         },