diff --git a/repos.json.lock b/repos.json.lock
index 9181db10d..2151d1633 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": "482a68858e4b2c6f6937173157d46f43b3d7976b",
-            "sha256": "0k4g5v4l4hkli568mlckys025a2q29nrh46bihhwah0ygdffh1gv",
+            "rev": "0864014b69f3dc592e1a066f1bee96b1063610c3",
+            "sha256": "1r26mr7q1fn2d1rz46g32dx74407v8qpmx2q0gpph57wglvilhm5",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {