diff --git a/repos.json.lock b/repos.json.lock
index 3a0599810..a041efc22 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": "2942bf49d1dd2cfc7c9ce2880bb60a6c44ea2ecc",
-            "sha256": "1xycqnhvkkvi0pnjvyhzdn6z5asvb2cpya58hsy9cfm6yshy56gj",
+            "rev": "460f30883949e0dcfb744ce85dc55a3fe4beb33e",
+            "sha256": "10mb2j7s1lhwm0nzgq82pxhjmplvz2bqzmgp9a5rbgplgq87w995",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "awl-fcarza": {