From fa7fb97ea513ac9684c67c2e9f168237487d745f Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Fri, 23 Aug 2019 18:59:43 +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 e36082cc8..e467981a3 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": "2df084fc54291d471dabe7193a6c0771ed16e992",
-            "sha256": "0gpj9dxffkzk2h3m2d4w1zkhgykjaasxfyvmkcma99g3m903614r",
+            "rev": "393762a49f23d63bb82b85a2f1b68631ab3c299a",
+            "sha256": "1r9c00lyr0fja4fkxz4vxavg7l95g45d152jisrqn1jqjgv6n9ad",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {