181 lines
4.5 KiB
JSON
181 lines
4.5 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"
|
|
}
|
|
},
|
|
"agda-stdlib-source": {
|
|
"flake": false,
|
|
"locked": {
|
|
"lastModified": 1697158940,
|
|
"narHash": "sha256-vtL6VPvTXhl/mepulUm8SYyTjnGsqno4RHDmTIy22Xg=",
|
|
"owner": "agda",
|
|
"repo": "agda-stdlib",
|
|
"rev": "0817da6877aa045932221134913d8511caa78d97",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "agda",
|
|
"ref": "v1.7.3",
|
|
"repo": "agda-stdlib",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"cornelis": {
|
|
"inputs": {
|
|
"agda": [
|
|
"agda"
|
|
],
|
|
"agda-stdlib-source": "agda-stdlib-source",
|
|
"flake-compat": "flake-compat",
|
|
"flake-utils": "flake-utils_2",
|
|
"nixpkgs": [
|
|
"nixpkgs"
|
|
]
|
|
},
|
|
"locked": {
|
|
"lastModified": 11701455942,
|
|
"narHash": "sha256-oaAB7t6LQfgN/UHuar97zVm6BoH1GR7pk7WVJFsDtp4=",
|
|
"owner": "isovector",
|
|
"repo": "cornelis",
|
|
"rev": "4569a83064343d5cda9f3671332e22ecf8f40c42",
|
|
"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": 1694529238,
|
|
"narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
|
|
"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": 1701263465,
|
|
"narHash": "sha256-lNXUIlkfyDyp9Ox21hr+wsEf/IBklLvb6bYcyeXbdRc=",
|
|
"owner": "NixOs",
|
|
"repo": "nixpkgs",
|
|
"rev": "50aa30a13c4ab5e7ba282da460a3e3d44e9d0eb3",
|
|
"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
|
|
}
|