From c1cc64a2124af63a1d92277a6968dd8dc10120a0 Mon Sep 17 00:00:00 2001
From: Pamplemousse <xav.maso@gmail.com>
Date: Thu, 5 Dec 2019 16:47:36 -0700
Subject: [PATCH] Add angr repository

[`angr`](https://angr.io/) is a python framework for analyzing binaries.
---
 repos.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos.json b/repos.json
index 144897d63..2b8c0f476 100644
--- 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"