diff --git a/repos.json.lock b/repos.json.lock
index cd0031c05..6417009a6 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": "5bda09b4ae4a6218402702a9766f48af548982a0",
-            "sha256": "1fpfb8m8dkahj14wyh4p80y8zidzb9d6qqhbwdib3z2vlz1kpgki",
+            "rev": "77684bacc9a035876083d1e241649886dae80f24",
+            "sha256": "0nydcj0pj97ajzmykaxh0baksmphphww2k4yssvpiba99nsww92g",
             "url": "https://github.com/angr/nixpkgs"
         },
         "arc": {