diff --git a/repos.json.lock b/repos.json.lock
index bdf5e1073..cf8b55e94 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": "2748373f0e295e9af3cd4ba53924077623cb7210",
-            "sha256": "17fcshmypfh4i9h1xf72y5f7d6w2crv6f67fibxrd8f5dsg15ldw",
+            "rev": "6c165f31691c5ee8f7f8502fbf70ee9abaafadcc",
+            "sha256": "1sc0ync6gm045zp9i0x5ivgpypj5xmvak8666d9kq6z31q31wi88",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "balsoft": {