summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-12-04 11:19:13 +0100
committeraristote <quentin.aristote@irif.fr>2025-12-04 11:19:13 +0100
commitbe4336b0104266195b1ec75c8ca6d1997a94f487 (patch)
tree2aff09414d624806a80f6b0d0248d867642a296d
parent5a47dc28836adf19b87ba77a4c311c0c5d38438c (diff)
devenv: update
-rw-r--r--devenv.lock4
1 files 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": {