diff --git a/repos.json.lock b/repos.json.lock
index 192f4d71a..21f894a4a 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": "afe68fd07a09e102fd6493d40074b062f3194a7a",
-            "sha256": "0g2qxnhwglabsr2d86cyh0ggqiwfa1hpwb54ygi194v6cdgcvq97",
+            "rev": "12aaf4499275d720e46be105493d0dfa7d5160b4",
+            "sha256": "0chh57s16lfxdc1pzd86dv3r39ws4b7ip5yi8m3jnn29xl9n4358",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "balsoft": {