diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-04-10 12:34:02 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-04-10 12:34:02 +0200 |
| commit | bfe6c4cee8b5afcd4078af319ab6b96f6695408b (patch) | |
| tree | f6721cd534619e0e1b6a96f2edaba455fcdc75f2 /flake.lock | |
| parent | 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 (diff) | |
update lean
Diffstat (limited to 'flake.lock')
| -rw-r--r-- | flake.lock | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -20,11 +20,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1772419343, - "narHash": "sha256-QU3Cd5DJH7dHyMnGEFfPcZDaCAsJQ6tUD+JuUsYqnKU=", + "lastModified": 1775763530, + "narHash": "sha256-BuTK9z1QEwWPOIakQ1gCN4pa4VwVJpfptYCviy2uOGc=", "owner": "nixos", "repo": "nixpkgs", - "rev": "93178f6a00c22fcdee1c6f5f9ab92f2072072ea9", + "rev": "b0188973b4b2a5b6bdba8b65381d6cd09a533da0", "type": "github" }, "original": { |