{ "nodes": { "agda": { "inputs": { "flake-utils": "flake-utils_6", "nixpkgs": [ "rachel", "nixpkgs" ] }, "locked": { "lastModified": 1696540558, "narHash": "sha256-fqYyjgOFQrU4ryGcLyz5gMYMdPk1P24ra7kQiUrbilg=", "owner": "agda", "repo": "agda", "rev": "f42acb696e43d382639f04f869e9a99ab36a91c6", "type": "github" }, "original": { "owner": "agda", "ref": "v2.6.4", "repo": "agda", "type": "github" } }, "agda-stdlib-source": { "flake": false, "locked": { "lastModified": 1693492688, "narHash": "sha256-oO27n/Q+IGPVAaEbOI8YwjerrhvA5rLV+gH6fGDwUIs=", "owner": "agda", "repo": "agda-stdlib", "rev": "f77a02ab6933fadbd42de3959545e91122934342", "type": "github" }, "original": { "owner": "agda", "repo": "agda-stdlib", "type": "github" } }, "ansi-utils": { "inputs": { "flake-utils": "flake-utils", "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1697106759, "narHash": "sha256-3j2wNkY9XiA1ZxmUe4eGDmq3t0ZkhMWiBDPXYoaTbrY=", "ref": "refs/heads/main", "rev": "e4ab20623e30ef730dc4a30decfeae0daa2a8761", "revCount": 2, "type": "git", "url": "https://git@githug.xyz/xenia/ansi-utils" }, "original": { "type": "git", "url": "https://git@githug.xyz/xenia/ansi-utils" } }, "cornelis": { "inputs": { "agda": [ "rachel", "agda" ], "agda-stdlib-source": "agda-stdlib-source", "flake-compat": "flake-compat", "flake-utils": "flake-utils_7", "nixpkgs": "nixpkgs_4" }, "locked": { "lastModified": 1694540816, "narHash": "sha256-pUHGjxtFkgTO0Ewovc4CEKG2kmJCXxJBDxOcxgJs9Ds=", "owner": "isovector", "repo": "cornelis", "rev": "d7ec58bcef67b1234aa861a706bd402849c8b6e3", "type": "github" }, "original": { "owner": "isovector", "repo": "cornelis", "type": "github" } }, "flake-compat": { "flake": false, "locked": { "lastModified": 1673956053, "narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=", "owner": "edolstra", "repo": "flake-compat", "rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9", "type": "github" }, "original": { "owner": "edolstra", "repo": "flake-compat", "type": "github" } }, "flake-utils": { "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" } }, "flake-utils_2": { "inputs": { "systems": "systems_2" }, "locked": { "lastModified": 1694529238, "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", "owner": "numtide", "repo": "flake-utils", "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "flake-utils_3": { "inputs": { "systems": "systems_3" }, "locked": { "lastModified": 1694529238, "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", "owner": "numtide", "repo": "flake-utils", "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "flake-utils_4": { "inputs": { "systems": "systems_4" }, "locked": { "lastModified": 1681202837, "narHash": "sha256-H+Rh19JDwRtpVPAWp64F+rlEtxUWBAQW28eAi3SRSzg=", "owner": "numtide", "repo": "flake-utils", "rev": "cfacdce06f30d2b68473a46042957675eebb3401", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "flake-utils_5": { "inputs": { "systems": "systems_5" }, "locked": { "lastModified": 1694529238, "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", "owner": "numtide", "repo": "flake-utils", "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "flake-utils_6": { "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_7": { "inputs": { "systems": "systems_6" }, "locked": { "lastModified": 1692799911, "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=", "owner": "numtide", "repo": "flake-utils", "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "flake-utils_8": { "inputs": { "systems": "systems_7" }, "locked": { "lastModified": 1694529238, "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", "owner": "numtide", "repo": "flake-utils", "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", "type": "github" }, "original": { "owner": "numtide", "repo": "flake-utils", "type": "github" } }, "flake-utils_9": { "inputs": { "systems": "systems_8" }, "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": 1706981411, "narHash": "sha256-cLbLPTL1CDmETVh4p0nQtvoF+FSEjsnJTFpTxhXywhQ=", "owner": "nix-community", "repo": "home-manager", "rev": "652fda4ca6dafeb090943422c34ae9145787af37", "type": "github" }, "original": { "owner": "nix-community", "ref": "release-23.11", "repo": "home-manager", "type": "github" } }, "home-manager_2": { "inputs": { "nixpkgs": [ "rachel", "nixpkgs" ] }, "locked": { "lastModified": 1695108154, "narHash": "sha256-gSg7UTVtls2yO9lKtP0yb66XBHT1Fx5qZSZbGMpSn2c=", "owner": "nix-community", "repo": "home-manager", "rev": "07682fff75d41f18327a871088d20af2710d4744", "type": "github" }, "original": { "owner": "nix-community", "ref": "release-23.05", "repo": "home-manager", "type": "github" } }, "kak": { "inputs": { "flake-utils": "flake-utils_2", "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1707412982, "narHash": "sha256-F5Uprb82ANfQgZAeQIVBQg7DaA8IMQyyCl/WwM1P4pc=", "ref": "refs/heads/main", "rev": "31e142c9f78452861c400a662607a597013a3f8d", "revCount": 10137, "type": "git", "url": "https://githug.xyz/xenia/kakoune.git" }, "original": { "type": "git", "url": "https://githug.xyz/xenia/kakoune.git" } }, "kak-tree": { "inputs": { "flake-utils": "flake-utils_3", "nixpkgs": [ "nixpkgs" ], "rust-overlay": "rust-overlay", "tree-sitters": "tree-sitters" }, "locked": { "lastModified": 1703165260, "narHash": "sha256-K3svv1/KXv3xTU5wYd59FNrLHSDxthNT7TU9fL8218U=", "ref": "refs/heads/main", "rev": "1e0dcb2a029925945f091eb1e1760e3dc2ead7fc", "revCount": 31, "type": "git", "url": "https://githug.xyz/xenia/kak-tree.git" }, "original": { "type": "git", "url": "https://githug.xyz/xenia/kak-tree.git" } }, "nix-darwin": { "inputs": { "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1699704228, "narHash": "sha256-NApWG385goidsXmsakWgFRjvbH+aw/n1CGGHn/UuXsc=", "owner": "LnL7", "repo": "nix-darwin", "rev": "0f1ad801387445fdda01d080db8ecf169be8e793", "type": "github" }, "original": { "owner": "LnL7", "repo": "nix-darwin", "type": "github" } }, "nixpkgs": { "locked": { "lastModified": 1681358109, "narHash": "sha256-eKyxW4OohHQx9Urxi7TQlFBTDWII+F+x2hklDOQPB50=", "owner": "NixOS", "repo": "nixpkgs", "rev": "96ba1c52e54e74c3197f4d43026b3f3d92e83ff9", "type": "github" }, "original": { "owner": "NixOS", "ref": "nixpkgs-unstable", "repo": "nixpkgs", "type": "github" } }, "nixpkgs_2": { "locked": { "lastModified": 1697009197, "narHash": "sha256-viVRhBTFT8fPJTb1N3brQIpFZnttmwo3JVKNuWRVc3s=", "owner": "NixOS", "repo": "nixpkgs", "rev": "01441e14af5e29c9d27ace398e6dd0b293e25a54", "type": "github" }, "original": { "id": "nixpkgs", "type": "indirect" } }, "nixpkgs_3": { "locked": { "lastModified": 1707238373, "narHash": "sha256-WKxT0yLzWbFZwYi92lI0yWJpYtRaFSWHGX8QXzejapw=", "owner": "nixos", "repo": "nixpkgs", "rev": "fb0c047e30b69696acc42e669d02452ca1b55755", "type": "github" }, "original": { "owner": "nixos", "ref": "nixos-23.11", "repo": "nixpkgs", "type": "github" } }, "nixpkgs_4": { "locked": { "lastModified": 1694062546, "narHash": "sha256-PiGI4f2BGnZcedP6slLjCLGLRLXPa9+ogGGgVPfGxys=", "owner": "NixOS", "repo": "nixpkgs", "rev": "b200e0df08f80c32974a6108ce431d8a8a5e6547", "type": "github" }, "original": { "owner": "NixOS", "ref": "nixpkgs-unstable", "repo": "nixpkgs", "type": "github" } }, "rachel": { "inputs": { "agda": "agda", "cornelis": "cornelis", "home-manager": "home-manager_2", "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1699738267, "narHash": "sha256-spGi9SpcDQ4Vf9ulojj7wdVz83erFMvpwmtXGNkKalk=", "ref": "refs/heads/master", "rev": "f536566a01ef215386131a5baef1a25e744cf069", "revCount": 78, "type": "git", "url": "https://git@githug.xyz/rachel/nixos-config" }, "original": { "type": "git", "url": "https://git@githug.xyz/rachel/nixos-config" } }, "root": { "inputs": { "ansi-utils": "ansi-utils", "home-manager": "home-manager", "kak": "kak", "kak-tree": "kak-tree", "nix-darwin": "nix-darwin", "nixpkgs": "nixpkgs_3", "rachel": "rachel", "unambig-path": "unambig-path", "unispect": "unispect" } }, "rust-overlay": { "inputs": { "flake-utils": "flake-utils_4", "nixpkgs": "nixpkgs" }, "locked": { "lastModified": 1699669856, "narHash": "sha256-OIb0WAoEMUA1EH70AwpWabdEpvYt/kJChBnb7XiXAJs=", "owner": "oxalica", "repo": "rust-overlay", "rev": "efd15e11c8954051a47679e7718b4c2a9b68ce27", "type": "github" }, "original": { "owner": "oxalica", "repo": "rust-overlay", "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" } }, "systems_2": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_3": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_4": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_5": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_6": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_7": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "systems_8": { "locked": { "lastModified": 1681028828, "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", "owner": "nix-systems", "repo": "default", "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", "type": "github" }, "original": { "owner": "nix-systems", "repo": "default", "type": "github" } }, "tree-sitters": { "inputs": { "flake-utils": "flake-utils_5", "nixpkgs": "nixpkgs_2" }, "locked": { "lastModified": 1703163600, "narHash": "sha256-moGQSMrkzP+3P20Nkx3DIkL2R/rK5/KSakuF4JvPuGw=", "ref": "refs/heads/main", "rev": "b43f5ecea195346d4488da3a2f85e7b67360a137", "revCount": 5, "type": "git", "url": "https://githug.xyz/xenia/tree-sitters" }, "original": { "type": "git", "url": "https://githug.xyz/xenia/tree-sitters" } }, "unambig-path": { "inputs": { "flake-utils": "flake-utils_8", "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1697107924, "narHash": "sha256-1XAXaOoLOK+Zcjn2PfZWA1RNUqBCkYyymR7w9J8lytA=", "ref": "refs/heads/main", "rev": "b7e2777f9c91f668a37a91db8a81648793988f00", "revCount": 3, "type": "git", "url": "https://git@githug.xyz/xenia/unambig-path" }, "original": { "type": "git", "url": "https://git@githug.xyz/xenia/unambig-path" } }, "unispect": { "inputs": { "flake-utils": "flake-utils_9", "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1697048433, "narHash": "sha256-B8Vk8EtPEKYPQqfQzG2IdfDlOGMPISmsQlc3+7MmfDo=", "ref": "refs/heads/main", "rev": "da8bf51586beae47282900a6de9691f6c5bccfb0", "revCount": 7, "type": "git", "url": "https://git@githug.xyz/xenia/unispect" }, "original": { "type": "git", "url": "https://git@githug.xyz/xenia/unispect" } } }, "root": "root", "version": 7 }