From 135f299249fe8fea3c9607b6a43e69c7852f8cad Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Wed, 21 Aug 2019 19:49:33 +0000
Subject: [PATCH] automatic update

---
 repos.json.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos.json.lock b/repos.json.lock
index 9d09ef38f..229f75707 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": "556864cd3a5c79693fd26d5b8a97c5930e2ec119",
-            "sha256": "1qs308virkkjz4rzqmcnyvxgqxz438l3z088r9p3a1hr9h4irn3r",
+            "rev": "745fb9a3103dc5903488edd1f04d281ec8a09bc1",
+            "sha256": "1nnhh0fsxnqggasmz0smi26p1ffgdqps83f7sz0s0dvs01clwb3d",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {