From d9d0d17ef2eb71fe80a0c3f9894cc3c16cb0c543 Mon Sep 17 00:00:00 2001
From: Nur a bot <nixpkgs-review@example.com>
Date: Wed, 22 Feb 2023 13:05:57 +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 ec5d48739..7480258f4 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -16,8 +16,8 @@
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
         "JayRovacsek": {
-            "rev": "d82fbba3ce1efb62a423a554f47686548714b810",
-            "sha256": "0giabyjszbywqg49n24fvrpmcnwz8xbkgckfi52qs378vms6vnv3",
+            "rev": "efb35e88af8084dc1feb956727ae06a6eac50a9b",
+            "sha256": "1dpznhsam6203xxgh6jg0z47flf3sv974xxml0454350blv0x888",
             "url": "https://github.com/JayRovacsek/nix-config"
         },
         "ProducerMatt": {