{
"nodes": {
"cachix": {
"inputs": {
"devenv": [
"v_flakes",
"devenv"
],
"flake-compat": [
"v_flakes",
"devenv"
],
"git-hooks": [
"v_flakes",
"devenv"
],
"nixpkgs": [
"v_flakes",
"nixpkgs"
]
},
"locked": {
"lastModified": 1742042642,
"narHash": "sha256-D0gP8srrX0qj+wNYNPdtVJsQuFzIng3q43thnHXQ/es=",
"owner": "cachix",
"repo": "cachix",
"rev": "a624d3eaf4b1d225f918de8543ed739f2f574203",
"type": "github"
},
"original": {
"owner": "cachix",
"ref": "latest",
"repo": "cachix",
"type": "github"
}
},
"devenv": {
"inputs": {
"cachix": "cachix",
"flake-compat": [
"v_flakes",
"pre-commit-hooks",
"flake-compat"
],
"git-hooks": [
"v_flakes",
"pre-commit-hooks"
],
"nix": "nix",
"nixpkgs": [
"v_flakes",
"nixpkgs"
]
},
"locked": {
"lastModified": 1746034422,
"narHash": "sha256-CEVWxRaln3sp0541QpMfcfmI2w+RN72UgNLV5Dy9sco=",
"owner": "cachix",
"repo": "devenv",
"rev": "f19b62ea677ec6046d78243e176fa01d5ef0d55a",
"type": "github"
},
"original": {
"owner": "cachix",
"ref": "v1.6.1",
"repo": "devenv",
"type": "github"
}
},
"flake-compat": {
"flake": false,
"locked": {
"lastModified": 1767039857,
"narHash": "sha256-vNpUSpF5Nuw8xvDLj2KCwwksIbjua2LZCqhV1LNRDns=",
"owner": "NixOS",
"repo": "flake-compat",
"rev": "5edf11c44bc78a0d334f6334cdaf7d60d732daab",
"type": "github"
},
"original": {
"owner": "NixOS",
"repo": "flake-compat",
"type": "github"
}
},
"flake-parts": {
"inputs": {
"nixpkgs-lib": [
"v_flakes",
"nixpkgs"
]
},
"locked": {
"lastModified": 1785627969,
"narHash": "sha256-4dtXQk/NMePegK/nWp5NSeuZKLATItOq61lpEvmXqGw=",
"owner": "hercules-ci",
"repo": "flake-parts",
"rev": "427bf4bd9435fdf21321c8cc628c24efc14c0f7a",
"type": "github"
},
"original": {
"owner": "hercules-ci",
"repo": "flake-parts",
"type": "github"
}
},
"flake-utils": {
"inputs": {
"systems": "systems"
},
"locked": {
"lastModified": 1731533236,
"narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
"lean4-nix": {
"inputs": {
"flake-parts": [
"v_flakes",
"flake-parts"
],
"nixpkgs": [
"v_flakes",
"nixpkgs"
]
},
"locked": {
"lastModified": 1787854620,
"narHash": "sha256-riKig+mBa13TIStQ+IvJzAdNaJmJmRwYMcgO9I9BdUM=",
"owner": "lenianiva",
"repo": "lean4-nix",
"rev": "e04ca093bca4c944f587c5e306cb5ff0c2c6ea87",
"type": "github"
},
"original": {
"owner": "lenianiva",
"repo": "lean4-nix",
"rev": "e04ca093bca4c944f587c5e306cb5ff0c2c6ea87",
"type": "github"
}
},
"libgit2": {
"flake": false,
"locked": {
"lastModified": 1697646580,
"narHash": "sha256-oX4Z3S9WtJlwvj0uH9HlYcWv+x1hqp8mhXl7HsLu2f0=",
"owner": "libgit2",
"repo": "libgit2",
"rev": "45fd9ed7ae1a9b74b957ef4f337bc3c8b3df01b5",
"type": "github"
},
"original": {
"owner": "libgit2",
"repo": "libgit2",
"type": "github"
}
},
"nix": {
"inputs": {
"flake-compat": [
"v_flakes",
"devenv"
],
"flake-parts": [
"v_flakes",
"flake-parts"
],
"libgit2": "libgit2",
"nixpkgs": [
"v_flakes",
"nixpkgs"
],
"nixpkgs-23-11": [
"v_flakes",
"devenv"
],
"nixpkgs-regression": [
"v_flakes",
"devenv"
],
"pre-commit-hooks": [
"v_flakes",
"devenv"
]
},
"locked": {
"lastModified": 1745930071,
"narHash": "sha256-bYyjarS3qSNqxfgc89IoVz8cAFDkF9yPE63EJr+h50s=",
"owner": "domenkozar",
"repo": "nix",
"rev": "b455edf3505f1bf0172b39a735caef94687d0d9c",
"type": "github"
},
"original": {
"owner": "domenkozar",
"ref": "devenv-2.24",
"repo": "nix",
"type": "github"
}
},
"nixpkgs": {
"locked": {
"lastModified": 1792208399,
"narHash": "sha256-mN15cwddbOOIzzXSSwYUeRfOYeizz47Vy6y3Hzq6DuY=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "7a6522c868711d06e3a520bbcdfafe9806f4337f",
"type": "github"
},
"original": {
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "7a6522c868711d06e3a520bbcdfafe9806f4337f",
"type": "github"
}
},
"pre-commit-hooks": {
"inputs": {
"flake-compat": "flake-compat",
"nixpkgs": [
"v_flakes",
"nixpkgs"
]
},
"locked": {
"lastModified": 1784288435,
"narHash": "sha256-ReRHaLgr/uVqdD8afFSn+myXIfpHeOhP0yYe0TJqAA8=",
"owner": "cachix",
"repo": "git-hooks.nix",
"rev": "43b3c1ab9d40fb1dbb008f451988a91e375825e9",
"type": "github"
},
"original": {
"owner": "cachix",
"repo": "git-hooks.nix",
"type": "github"
}
},
"process-compose-flake": {
"locked": {
"lastModified": 1782060835,
"narHash": "sha256-Q8HH2t1l3MITtWCWY4ytcH5F/Q7aAHo3Iq/QTMAKTe0=",
"owner": "Platonic-Systems",
"repo": "process-compose-flake",
"rev": "464ff6880737f063c3f0d3d2c7781fda9190868f",
"type": "github"
},
"original": {
"owner": "Platonic-Systems",
"repo": "process-compose-flake",
"type": "github"
}
},
"root": {
"inputs": {
"v_flakes": "v_flakes"
}
},
"rust-overlay": {
"inputs": {
"nixpkgs": [
"v_flakes",
"nixpkgs"
]
},
"locked": {
"lastModified": 1786638241,
"narHash": "sha256-KJhq0HYg2gIZjpsj47z1kWrjoUUAqSqdD2mMWAsOg4k=",
"owner": "oxalica",
"repo": "rust-overlay",
"rev": "892c035d7c2ff75acd5da10424a47ab454e1f3dc",
"type": "github"
},
"original": {
"owner": "oxalica",
"repo": "rust-overlay",
"rev": "892c035d7c2ff75acd5da10424a47ab454e1f3dc",
"type": "github"
}
},
"systems": {
"locked": {
"lastModified": 1681028828,
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
"owner": "nix-systems",
"repo": "default",
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
"type": "github"
},
"original": {
"owner": "nix-systems",
"repo": "default",
"type": "github"
}
},
"v_flakes": {
"inputs": {
"devenv": "devenv",
"flake-parts": "flake-parts",
"flake-utils": "flake-utils",
"lean4-nix": "lean4-nix",
"nixpkgs": "nixpkgs",
"pre-commit-hooks": "pre-commit-hooks",
"process-compose-flake": "process-compose-flake",
"rust-overlay": "rust-overlay"
},
"locked": {
"lastModified": 1793736334,
"narHash": "sha256-Tng2+Z/NmQj+sIMyO00YNuj6DFCyhkKRe2NLtQSKOTg=",
"owner": "valeratrades",
"repo": "v_flakes",
"rev": "a69e4f7d157abc7da7f858ce1b99b82dea788589",
"type": "github"
},
"original": {
"owner": "valeratrades",
"ref": "v1.6",
"repo": "v_flakes",
"type": "github"
}
}
},
"root": "root",
"version": 7
}