summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-12-09 17:00:16 +0100
committeraristote <quentin.aristote@irif.fr>2025-12-09 17:00:16 +0100
commita44b87e2b57739cb9d2e27c4fbacc51f26811fce (patch)
tree847278b032214c6d3f39a2c99aa524e68916aa6b
parent8adee2400f9b54afbb2c024f3be9318b612b6e96 (diff)
devenv: update
-rw-r--r--devenv.lock8
1 files changed, 4 insertions, 4 deletions
diff --git a/devenv.lock b/devenv.lock
index d07f9d6..f3d993e 100644
--- a/devenv.lock
+++ b/devenv.lock
@@ -3,10 +3,10 @@
"devenv": {
"locked": {
"dir": "src/modules",
- "lastModified": 1764927628,
+ "lastModified": 1765206584,
"owner": "cachix",
"repo": "devenv",
- "rev": "247d7027f91368054fb0eefbd755a73d42b66fee",
+ "rev": "a3e385cea873e4ec5bd31e76c6481aa21fbf6995",
"type": "github"
},
"original": {
@@ -191,10 +191,10 @@
"nixpkgs": "nixpkgs_2"
},
"locked": {
- "lastModified": 1765185832,
+ "lastModified": 1765271418,
"owner": "nix-community",
"repo": "NUR",
- "rev": "7be17d29475559cb8d7e35b5ed185b5a8ed8d7b6",
+ "rev": "17bb8238856f8765c68d333e31138acc69ad44f7",
"type": "github"
},
"original": {