| { |
| "nodes": { |
| "flake-parts": { |
| "inputs": { |
| "nixpkgs-lib": "nixpkgs-lib" |
| }, |
| "locked": { |
| "lastModified": 1754487366, |
| "narHash": "sha256-pHYj8gUBapuUzKV/kN/tR3Zvqc7o6gdFB9XKXIp1SQ8=", |
| "owner": "hercules-ci", |
| "repo": "flake-parts", |
| "rev": "af66ad14b28a127c5c0f3bbb298218fc63528a18", |
| "type": "github" |
| }, |
| "original": { |
| "owner": "hercules-ci", |
| "repo": "flake-parts", |
| "type": "github" |
| } |
| }, |
| "flake-parts_2": { |
| "inputs": { |
| "nixpkgs-lib": "nixpkgs-lib_2" |
| }, |
| "locked": { |
| "lastModified": 1727826117, |
| "narHash": "sha256-K5ZLCyfO/Zj9mPFldf3iwS6oZStJcU4tSpiXTMYaaL0=", |
| "owner": "hercules-ci", |
| "repo": "flake-parts", |
| "rev": "3d04084d54bedc3d6b8b736c70ef449225c361b1", |
| "type": "github" |
| }, |
| "original": { |
| "owner": "hercules-ci", |
| "repo": "flake-parts", |
| "type": "github" |
| } |
| }, |
| "lean4-nix": { |
| "inputs": { |
| "flake-parts": "flake-parts_2", |
| "nixpkgs": "nixpkgs" |
| }, |
| "locked": { |
| "lastModified": 1761368467, |
| "narHash": "sha256-eEs2YpE84+d6a8VKXCACNJy5czcu8GQCaeSZwR/mFMk=", |
| "owner": "lenianiva", |
| "repo": "lean4-nix", |
| "rev": "3550873ed1a87d666d633d34921e79abaa4671c1", |
| "type": "github" |
| }, |
| "original": { |
| "owner": "lenianiva", |
| "repo": "lean4-nix", |
| "type": "github" |
| } |
| }, |
| "nixpkgs": { |
| "locked": { |
| "lastModified": 1743095683, |
| "narHash": "sha256-gWd4urRoLRe8GLVC/3rYRae1h+xfQzt09xOfb0PaHSk=", |
| "owner": "nixos", |
| "repo": "nixpkgs", |
| "rev": "5e5402ecbcb27af32284d4a62553c019a3a49ea6", |
| "type": "github" |
| }, |
| "original": { |
| "owner": "nixos", |
| "ref": "nixos-unstable", |
| "repo": "nixpkgs", |
| "type": "github" |
| } |
| }, |
| "nixpkgs-lib": { |
| "locked": { |
| "lastModified": 1753579242, |
| "narHash": "sha256-zvaMGVn14/Zz8hnp4VWT9xVnhc8vuL3TStRqwk22biA=", |
| "owner": "nix-community", |
| "repo": "nixpkgs.lib", |
| "rev": "0f36c44e01a6129be94e3ade315a5883f0228a6e", |
| "type": "github" |
| }, |
| "original": { |
| "owner": "nix-community", |
| "repo": "nixpkgs.lib", |
| "type": "github" |
| } |
| }, |
| "nixpkgs-lib_2": { |
| "locked": { |
| "lastModified": 1727825735, |
| "narHash": "sha256-0xHYkMkeLVQAMa7gvkddbPqpxph+hDzdu1XdGPJR+Os=", |
| "type": "tarball", |
| "url": "https://github.com/NixOS/nixpkgs/archive/fb192fec7cc7a4c26d51779e9bab07ce6fa5597a.tar.gz" |
| }, |
| "original": { |
| "type": "tarball", |
| "url": "https://github.com/NixOS/nixpkgs/archive/fb192fec7cc7a4c26d51779e9bab07ce6fa5597a.tar.gz" |
| } |
| }, |
| "nixpkgs_2": { |
| "locked": { |
| "lastModified": 1755274400, |
| "narHash": "sha256-rTInmnp/xYrfcMZyFMH3kc8oko5zYfxsowaLv1LVobY=", |
| "owner": "nixos", |
| "repo": "nixpkgs", |
| "rev": "ad7196ae55c295f53a7d1ec39e4a06d922f3b899", |
| "type": "github" |
| }, |
| "original": { |
| "owner": "nixos", |
| "ref": "nixos-25.05", |
| "repo": "nixpkgs", |
| "type": "github" |
| } |
| }, |
| "root": { |
| "inputs": { |
| "flake-parts": "flake-parts", |
| "lean4-nix": "lean4-nix", |
| "nixpkgs": "nixpkgs_2" |
| } |
| } |
| }, |
| "root": "root", |
| "version": 7 |
| } |
|
|
