From 7a50cf4f710e7976fa6c8ee66a4077440600962a Mon Sep 17 00:00:00 2001
From: Nur a bot <joerg.nur-bot@thalheim.io>
Date: Mon, 15 Jun 2020 08:50:55 +0000
Subject: [PATCH] automatic update

---
 repos.json.lock | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos.json.lock b/repos.json.lock
index 3b4189a05..d5f0a67b2 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -10,6 +10,11 @@
             "sha256": "082k3j383zl7vp8fmbwjdh9wmnhv776i6in3pjf3g06ijb4cwcg1",
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
+        "aasg": {
+            "rev": "6a68e32fb00ad7449562d35a2edb61c74ef69da4",
+            "sha256": "0z6npg0rgj55z5hpr4abxdn02msfjrqml4nvpvj37hjcyd02m0hw",
+            "url": "https://git.sr.ht/~aasg/nixexprs"
+        },
         "angr": {
             "rev": "3b7bcc5558cc0082fd96ddad40cfcfd210846d14",
             "sha256": "1cf7chirgw1k0fik06zfhcadacqzv166ksynb0c26viqa8i47zkm",