Merge pull request #238 from AluisioASG/master

add aasg repository
2020-06-15 09:48:04 +01:00 · 2020-06-15 09:48:04 +01:00 · f00da839c7
commit f00da839c7
parent f0dd9c36ba b94d0bae13
1 changed files with 4 additions and 0 deletions
--- 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"
        },