From be4336b0104266195b1ec75c8ca6d1997a94f487 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Thu, 4 Dec 2025 11:19:13 +0100
Subject: devenv: update

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

diff --git a/devenv.lock b/devenv.lock
index 0a97d2a..7b0202a 100644
--- a/devenv.lock
+++ b/devenv.lock
@@ -74,10 +74,10 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1764642553,
+        "lastModified": 1764794580,
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "f720de59066162ee879adcc8c79e15c51fe6bfb4",
+        "rev": "ebc94f855ef25347c314258c10393a92794e7ab9",
         "type": "github"
       },
       "original": {
-- 
cgit v1.2.3