From 413e35262ea7e2a42c8b068d8ef7c6ab0f2caf5a Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Wed, 11 Dec 2019 21:59:29 +0000
Subject: [PATCH] automatic update

---
 repos.json.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos.json.lock b/repos.json.lock
index e89560223..0ff332811 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -11,8 +11,8 @@
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
         "angr": {
-            "rev": "f0bac98166babe8b033057a036895d24204ac6d8",
-            "sha256": "04gr0mqad8qjd4cigp0bspwagancm0x14ngnyg0y2ac8y218lhxn",
+            "rev": "953834dd1d4fee26cdc066e6a5e0684718667868",
+            "sha256": "02qzw2g3pba75wxyw6lwmrppbsrz1mb1xghfq0naxc3bl9bvy30r",
             "url": "https://github.com/angr/nixpkgs"
         },
         "arc": {