summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2026-02-04 13:57:20 +0100
committeraristote <quentin.aristote@irif.fr>2026-02-04 13:57:20 +0100
commit6b1c8ceabddcb61f7d9f73988ab7713085e51f35 (patch)
treee9c9c8bbec2fdcf014609f06a105ee92c6d7db6a
parent2271515dc7e14ae104c748cddd3105984150668e (diff)
devenv: update
-rw-r--r--devenv.lock8
1 files changed, 4 insertions, 4 deletions
diff --git a/devenv.lock b/devenv.lock
index 8a6efa1..246fa56 100644
--- a/devenv.lock
+++ b/devenv.lock
@@ -3,10 +3,10 @@
"devenv": {
"locked": {
"dir": "src/modules",
- "lastModified": 1770062914,
+ "lastModified": 1770167382,
"owner": "cachix",
"repo": "devenv",
- "rev": "f5d7ff568986e9000a2a48136523611473120ce5",
+ "rev": "195375e3f0a3c3ac4f12b21d3f59a7ddb209bd1f",
"type": "github"
},
"original": {
@@ -74,10 +74,10 @@
},
"nixpkgs": {
"locked": {
- "lastModified": 1770073757,
+ "lastModified": 1770141374,
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "47472570b1e607482890801aeaf29bfb749884f6",
+ "rev": "41965737c1797c1d83cfb0b644ed0840a6220bd1",
"type": "github"
},
"original": {