160 lines
4.0 KiB
JSON
160 lines
4.0 KiB
JSON
{
|
|
"nodes": {
|
|
"agda": {
|
|
"inputs": {
|
|
"flake-utils": "flake-utils",
|
|
"nixpkgs": [
|
|
"nixpkgs"
|
|
]
|
|
},
|
|
"locked": {
|
|
"lastModified": 1701366566,
|
|
"narHash": "sha256-B8Jmjld0gGbkVO08GsovVqrUXCs8VfJ8UdM3sjHnzgM=",
|
|
"owner": "agda",
|
|
"repo": "agda",
|
|
"rev": "4293e0a94d15acac915ab9088b2ec028f78d14a9",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "agda",
|
|
"ref": "v2.6.4.1",
|
|
"repo": "agda",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"cornelis": {
|
|
"inputs": {
|
|
"flake-compat": "flake-compat",
|
|
"flake-utils": "flake-utils_2",
|
|
"nixpkgs": [
|
|
"nixpkgs"
|
|
]
|
|
},
|
|
"locked": {
|
|
"lastModified": 1706916489,
|
|
"narHash": "sha256-x6OrQdcViKUqF8m/yuF+hIJhecTwiwVSH9T/mJa+K4k=",
|
|
"owner": "isovector",
|
|
"repo": "cornelis",
|
|
"rev": "c1f926eb8a2d5bd051e84f330864ebc3857a83f4",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "isovector",
|
|
"repo": "cornelis",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"flake-compat": {
|
|
"flake": false,
|
|
"locked": {
|
|
"lastModified": 1696426674,
|
|
"narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=",
|
|
"owner": "edolstra",
|
|
"repo": "flake-compat",
|
|
"rev": "0f9255e01c2351cc7d116c072cb317785dd33b33",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "edolstra",
|
|
"repo": "flake-compat",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"flake-utils": {
|
|
"locked": {
|
|
"lastModified": 1678901627,
|
|
"narHash": "sha256-U02riOqrKKzwjsxc/400XnElV+UtPUQWpANPlyazjH0=",
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"rev": "93a2b84fc4b70d9e089d029deacc3583435c2ed6",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"flake-utils_2": {
|
|
"inputs": {
|
|
"systems": "systems"
|
|
},
|
|
"locked": {
|
|
"lastModified": 1701680307,
|
|
"narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"home-manager": {
|
|
"inputs": {
|
|
"nixpkgs": [
|
|
"nixpkgs"
|
|
]
|
|
},
|
|
"locked": {
|
|
"lastModified": 1700814205,
|
|
"narHash": "sha256-lWqDPKHRbQfi+zNIivf031BUeyciVOtwCwTjyrhDB5g=",
|
|
"owner": "nix-community",
|
|
"repo": "home-manager",
|
|
"rev": "aeb2232d7a32530d3448318790534d196bf9427a",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "nix-community",
|
|
"ref": "release-23.11",
|
|
"repo": "home-manager",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"nixpkgs": {
|
|
"locked": {
|
|
"lastModified": 1707091808,
|
|
"narHash": "sha256-LahKBAfGbY836gtpVNnWwBTIzN7yf/uYM/S0g393r0Y=",
|
|
"owner": "NixOs",
|
|
"repo": "nixpkgs",
|
|
"rev": "9f2ee8c91ac42da3ae6c6a1d21555f283458247e",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "NixOs",
|
|
"ref": "nixos-23.11",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"root": {
|
|
"inputs": {
|
|
"agda": "agda",
|
|
"cornelis": "cornelis",
|
|
"home-manager": "home-manager",
|
|
"nixpkgs": "nixpkgs"
|
|
}
|
|
},
|
|
"systems": {
|
|
"locked": {
|
|
"lastModified": 1681028828,
|
|
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
|
|
"owner": "nix-systems",
|
|
"repo": "default",
|
|
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "nix-systems",
|
|
"repo": "default",
|
|
"type": "github"
|
|
}
|
|
}
|
|
},
|
|
"root": "root",
|
|
"version": 7
|
|
}
|