diff options
| author | Rutger Broekhoff | 2026-06-24 19:29:28 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2026-06-24 19:29:28 +0200 |
| commit | e2681e43cc7849d66425d5bc93565e9e177d229a (patch) | |
| tree | fd03d9461bd52b076a45c9ba6b6587053e17a811 /flake.lock | |
| download | ri-lmpmc-formalization-e2681e43cc7849d66425d5bc93565e9e177d229a.tar.gz ri-lmpmc-formalization-e2681e43cc7849d66425d5bc93565e9e177d229a.zip | |
Diffstat (limited to 'flake.lock')
| -rw-r--r-- | flake.lock | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/flake.lock b/flake.lock new file mode 100644 index 0000000..f4a7de9 --- /dev/null +++ b/flake.lock | |||
| @@ -0,0 +1,61 @@ | |||
| 1 | { | ||
| 2 | "nodes": { | ||
| 3 | "flake-utils": { | ||
| 4 | "inputs": { | ||
| 5 | "systems": "systems" | ||
| 6 | }, | ||
| 7 | "locked": { | ||
| 8 | "lastModified": 1731533236, | ||
| 9 | "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=", | ||
| 10 | "owner": "numtide", | ||
| 11 | "repo": "flake-utils", | ||
| 12 | "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b", | ||
| 13 | "type": "github" | ||
| 14 | }, | ||
| 15 | "original": { | ||
| 16 | "owner": "numtide", | ||
| 17 | "repo": "flake-utils", | ||
| 18 | "type": "github" | ||
| 19 | } | ||
| 20 | }, | ||
| 21 | "nixpkgs": { | ||
| 22 | "locked": { | ||
| 23 | "lastModified": 1777077449, | ||
| 24 | "narHash": "sha256-AIiMJiqvGrN4HyLEbKAoCSRRYn0rnlW5VbKNIMIYqm4=", | ||
| 25 | "owner": "NixOS", | ||
| 26 | "repo": "nixpkgs", | ||
| 27 | "rev": "a4bf06618f0b5ee50f14ed8f0da77d34ecc19160", | ||
| 28 | "type": "github" | ||
| 29 | }, | ||
| 30 | "original": { | ||
| 31 | "owner": "NixOS", | ||
| 32 | "ref": "nixos-25.11", | ||
| 33 | "repo": "nixpkgs", | ||
| 34 | "type": "github" | ||
| 35 | } | ||
| 36 | }, | ||
| 37 | "root": { | ||
| 38 | "inputs": { | ||
| 39 | "flake-utils": "flake-utils", | ||
| 40 | "nixpkgs": "nixpkgs" | ||
| 41 | } | ||
| 42 | }, | ||
| 43 | "systems": { | ||
| 44 | "locked": { | ||
| 45 | "lastModified": 1681028828, | ||
| 46 | "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", | ||
| 47 | "owner": "nix-systems", | ||
| 48 | "repo": "default", | ||
| 49 | "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", | ||
| 50 | "type": "github" | ||
| 51 | }, | ||
| 52 | "original": { | ||
| 53 | "owner": "nix-systems", | ||
| 54 | "repo": "default", | ||
| 55 | "type": "github" | ||
| 56 | } | ||
| 57 | } | ||
| 58 | }, | ||
| 59 | "root": "root", | ||
| 60 | "version": 7 | ||
| 61 | } | ||