From 3e519ec0f111d25eb59d62d9982d8298de07e083 Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Mon, 19 Aug 2019 01:12:31 +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 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": {