From 736621e5847b885e4913f170a343eaf66433728a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Thu, 12 Oct 2023 00:19:55 +0200
Subject: Bump php in devtools

---
 flake.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'flake.lock')

diff --git a/flake.lock b/flake.lock
index e6b10be..5647e9e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2664,7 +2664,7 @@
       },
       "locked": {
         "lastModified": 1,
-        "narHash": "sha256-s6HoAgXQrELPNK0BwuMRmJiuAmNN8VvNhhS0K9hYmh4=",
+        "narHash": "sha256-YmxnhQgbNWYxJKGgLz0x2EDmbp/1aOVyO/b+rS2zP0w=",
         "path": "./flakes",
         "type": "path"
       },
@@ -3919,7 +3919,7 @@
       },
       "locked": {
         "lastModified": 1,
-        "narHash": "sha256-q1+zzXLioBDjua4Omke9ki0hUaW2rtqTMRUXZ/+uHwU=",
+        "narHash": "sha256-0V71uNTospNTAWsRuCBmTUtes7ECx9D83d/UOtHOek8=",
         "path": "../systems/eldiron",
         "type": "path"
       },
-- 
cgit v1.2.3