{ "nodes": { "agda": { "inputs": { "flake-utils": "flake-utils_3", "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_4", "nixpkgs": "nixpkgs_2" }, "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": { "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_4": { "inputs": { "systems": "systems_3" }, "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_5": { "inputs": { "systems": "systems_4" }, "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": { "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" } }, "home-manager": { "inputs": { "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1698392685, "narHash": "sha256-yx/sbRneR2AfSAeAMqUu0hoVJdjh+qhl/7dkirp8yo8=", "owner": "nix-community", "repo": "home-manager", "rev": "1369d2cefb6f128c30e42fabcdebbacc07e18b3f", "type": "github" }, "original": { "owner": "nix-community", "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": 1697112703, "narHash": "sha256-LFGZnAaoEevR533tnjm+nCw0S0nYcRtZtyIQgR5h4Kk=", "ref": "refs/heads/main", "rev": "1fbcf088fbf1fdc02a8ef4aebc073b2fb8d25987", "revCount": 10136, "type": "git", "url": "https://githug.xyz/xenia/kakoune.git" }, "original": { "type": "git", "url": "https://githug.xyz/xenia/kakoune.git" } }, "nix-darwin": { "inputs": { "nixpkgs": [ "nixpkgs" ] }, "locked": { "lastModified": 1698429334, "narHash": "sha256-Gq3+QabboczSu7RMpcy79RSLMSqnySO3wsnHQk4DfbE=", "owner": "LnL7", "repo": "nix-darwin", "rev": "afe83cbc2e673b1f08d32dd0f70df599678ff1e7", "type": "github" }, "original": { "owner": "LnL7", "repo": "nix-darwin", "type": "github" } }, "nixpkgs": { "locked": { "lastModified": 1698318101, "narHash": "sha256-gUihHt3yPD7bVqg+k/UVHgngyaJ3DMEBchbymBMvK1E=", "owner": "nixos", "repo": "nixpkgs", "rev": "63678e9f3d3afecfeafa0acead6239cdb447574c", "type": "github" }, "original": { "owner": "nixos", "ref": "nixos-unstable", "repo": "nixpkgs", "type": "github" } }, "nixpkgs_2": { "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": 1698442363, "narHash": "sha256-MoAnALR+r/+tuWNm2DqHUHhQMTrq5jNSgwPgQ4/vIKs=", "ref": "refs/heads/master", "rev": "78a50f078d7efda240c2ef17f51a50f821dbe238", "revCount": 62, "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", "nix-darwin": "nix-darwin", "nixpkgs": "nixpkgs", "rachel": "rachel", "unambig-path": "unambig-path", "unispect": "unispect" } }, "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" } }, "unambig-path": { "inputs": { "flake-utils": "flake-utils_5", "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_6", "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 }