Add angr repository (#160)

Add angr repository
2019-12-06 11:23:13 +00:00 · 2019-12-06 11:23:13 +00:00 · fac0a377cb
commit fac0a377cb
parent 9e828500a9 c1cc64a212
1 changed files with 3 additions and 0 deletions
--- a/repos.json
+++ b/repos.json
@ -7,6 +7,9 @@
            "type": "gitlab",
            "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
        },
+        "angr": {
+            "url": "https://github.com/angr/nixpkgs"
+        },
        "arc": {
            "file": "nur.nix",
            "url": "https://github.com/arcnmx/nixexprs"