summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-12-05 11:33:48 +0100
committeraristote <quentin.aristote@irif.fr>2025-12-05 11:33:48 +0100
commit00e2db095d2178b03774275cf18afa44c50f2805 (patch)
treeae6bafdd96c81393920dd9a6d19060fdd7fed5f1
parent2aa52ec579e87735725650813195311710b2a344 (diff)
devenv: update
-rw-r--r--devenv.lock8
1 files changed, 4 insertions, 4 deletions
diff --git a/devenv.lock b/devenv.lock
index 7b0202a..3d1419a 100644
--- a/devenv.lock
+++ b/devenv.lock
@@ -3,10 +3,10 @@
"devenv": {
"locked": {
"dir": "src/modules",
- "lastModified": 1764669403,
+ "lastModified": 1764927628,
"owner": "cachix",
"repo": "devenv",
- "rev": "3f2d25e7af748127da0571266054575dd8fec5ab",
+ "rev": "247d7027f91368054fb0eefbd755a73d42b66fee",
"type": "github"
},
"original": {
@@ -74,10 +74,10 @@
},
"nixpkgs": {
"locked": {
- "lastModified": 1764794580,
+ "lastModified": 1764856222,
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "ebc94f855ef25347c314258c10393a92794e7ab9",
+ "rev": "ece6e266caf1effab32eceef0403b797b4330373",
"type": "github"
},
"original": {