diff --git a/repos.json.lock b/repos.json.lock
index d5494ad53..67752d092 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"
         },
         "arc": {
-            "rev": "4b8da901e1d8a740aa91c371fcc203c06e5e997a",
-            "sha256": "0is9i3bn741w8ly3mzln8af7b4ad5q50gmfm0rq0477yxc6df8sq",
+            "rev": "b97531c52c6aca4ff7e5604f824696ca0ebb42ba",
+            "sha256": "0ra9kljp8rrhai2hi55fgj23ynca63j08d4wsg27lxkqmgwnwvnd",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {