From c24e910dbd3c2d58539e397136d7458a2e60429c Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Tue, 15 Oct 2019 16:56:39 +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 cb97e71fc..a234f86cd 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": "b9a0b42c2c575d6deaaf2b7d9969df495916fcc9",
-            "sha256": "1pfg4l27fsd5vvzldkkwwi1kdm13w05sna4sbgl0zwqmix3alkvv",
+            "rev": "cf9b43e4d718054b6fee79483dd39babb871b729",
+            "sha256": "1y4b8d00vagsl4y0fw4wsymn2pv743mh30i7g376y6zla7jjiigk",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "awl-fcarza": {