diff --git a/repos.json.lock b/repos.json.lock
index ddddbc328..9496ea1b5 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": "956c94776c6dc1c071f5d675f6d029c8666ead35",
-            "sha256": "0sk935fssd48wa6w4yfcyyg5j5i79q57wz55jsp8hjicaspjwr5s",
+            "rev": "9f8e067dd2e0b3013491bc0f1e832182a20fef63",
+            "sha256": "046s9iy7bll4270jk4lz0f5d5z98x7jk5h75k08y5kr619pinrnq",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {