diff --git a/repos.json.lock b/repos.json.lock
index 813f95fde..27bd017a8 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": "31a9d77177efe7ae309d2e6a53a929977f5610ac",
-            "sha256": "0sd6k4gix7jkxmyllcp4vylkzaihiqa3v433a1yhkh20kdn9ca5m",
+            "rev": "b71d07a808e6637734164050601aa6dad7d85e1f",
+            "sha256": "0srjmbi4srmsbnjjy0cgcwi1z0292xfvklb279r41p83n82b9b8z",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {