From 2e5bf415fcd044a898fb636f9da09929819b6870 Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Mon, 19 Aug 2019 00:17:15 +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 9181db10d..2151d1633 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": "482a68858e4b2c6f6937173157d46f43b3d7976b",
-            "sha256": "0k4g5v4l4hkli568mlckys025a2q29nrh46bihhwah0ygdffh1gv",
+            "rev": "0864014b69f3dc592e1a066f1bee96b1063610c3",
+            "sha256": "1r26mr7q1fn2d1rz46g32dx74407v8qpmx2q0gpph57wglvilhm5",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {