From b7539e0b619959e26fc65f10b2c7bf2705e392c2 Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Mon, 5 Aug 2019 19:26:23 +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 ebc76de68..b3bdddf21 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": "51c6056f2a17e9487b58e73bffca44ddc5788328",
-            "sha256": "1ram28qrpsvzfh15rzrsq8p46bzqlfz0k8vy5d74rmr1kis2ns9f",
+            "rev": "31a9d77177efe7ae309d2e6a53a929977f5610ac",
+            "sha256": "0sd6k4gix7jkxmyllcp4vylkzaihiqa3v433a1yhkh20kdn9ca5m",
             "url": "https://github.com/arcnmx/nixexprs"
         },
         "bb010g": {