home/flake.lock

671 lines
18 KiB
Plaintext
Raw Normal View History

2023-10-12 22:51:18 +02:00
{
"nodes": {
2023-10-27 23:40:45 +02:00
"agda": {
"inputs": {
2023-11-12 12:43:00 +01:00
"flake-utils": "flake-utils_6",
2023-10-27 23:40:45 +02:00
"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"
}
},
2023-10-12 22:51:18 +02:00
"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"
}
},
2023-10-27 23:40:45 +02:00
"cornelis": {
"inputs": {
"agda": [
"rachel",
"agda"
],
"agda-stdlib-source": "agda-stdlib-source",
"flake-compat": "flake-compat",
2023-11-12 12:43:00 +01:00
"flake-utils": "flake-utils_7",
"nixpkgs": "nixpkgs_4"
2023-10-27 23:40:45 +02:00
},
"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"
}
},
2023-10-12 22:51:18 +02:00
"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": {
2023-11-12 12:43:00 +01:00
"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": {
2023-10-27 23:40:45 +02:00
"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"
}
},
2023-11-12 12:43:00 +01:00
"flake-utils_7": {
2023-10-12 22:51:18 +02:00
"inputs": {
2023-11-12 12:43:00 +01:00
"systems": "systems_6"
2023-10-12 22:51:18 +02:00
},
2023-10-27 23:40:45 +02:00
"locked": {
"lastModified": 1692799911,
"narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44",
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
2023-11-12 12:43:00 +01:00
"flake-utils_8": {
2023-10-27 23:40:45 +02:00
"inputs": {
2023-11-12 12:43:00 +01:00
"systems": "systems_7"
2023-10-27 23:40:45 +02:00
},
2023-10-12 22:51:18 +02:00
"locked": {
"lastModified": 1694529238,
"narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
2023-11-12 12:43:00 +01:00
"flake-utils_9": {
2023-10-12 22:51:18 +02:00
"inputs": {
2023-11-12 12:43:00 +01:00
"systems": "systems_8"
2023-10-12 22:51:18 +02:00
},
"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": {
2023-11-12 12:43:00 +01:00
"lastModified": 1699783872,
"narHash": "sha256-4zTwLT2LL45Nmo6iwKB3ls3hWodVP9DiSWxki/oewWE=",
2023-10-27 23:40:45 +02:00
"owner": "nix-community",
"repo": "home-manager",
2023-11-12 12:43:00 +01:00
"rev": "280721186ab75a76537713ec310306f0eba3e407",
2023-10-27 23:40:45 +02:00
"type": "github"
},
"original": {
"owner": "nix-community",
"repo": "home-manager",
"type": "github"
}
},
"home-manager_2": {
"inputs": {
"nixpkgs": [
"rachel",
"nixpkgs"
]
},
"locked": {
"lastModified": 1695108154,
"narHash": "sha256-gSg7UTVtls2yO9lKtP0yb66XBHT1Fx5qZSZbGMpSn2c=",
2023-10-12 22:51:18 +02:00
"owner": "nix-community",
"repo": "home-manager",
2023-10-27 23:40:45 +02:00
"rev": "07682fff75d41f18327a871088d20af2710d4744",
2023-10-12 22:51:18 +02:00
"type": "github"
},
"original": {
"owner": "nix-community",
2023-10-27 23:40:45 +02:00
"ref": "release-23.05",
2023-10-12 22:51:18 +02:00
"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"
}
},
2023-11-12 12:43:00 +01:00
"kak-tree": {
"inputs": {
"flake-utils": "flake-utils_3",
"nixpkgs": [
"nixpkgs"
],
"rust-overlay": "rust-overlay",
"tree-sitters": "tree-sitters"
},
"locked": {
2023-11-12 22:57:44 +01:00
"lastModified": 1699826096,
"narHash": "sha256-cLD24AUAc/vqWIty1bxA7q2qc8AWEwyCrdsOk0glKKI=",
2023-11-12 12:43:00 +01:00
"ref": "refs/heads/main",
2023-11-12 22:57:44 +01:00
"rev": "6e6ad7a82b0dc4142f4db2c06a0a80f1c1ca151a",
"revCount": 11,
2023-11-12 12:43:00 +01:00
"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": {
2023-11-12 12:43:00 +01:00
"lastModified": 1699704228,
"narHash": "sha256-NApWG385goidsXmsakWgFRjvbH+aw/n1CGGHn/UuXsc=",
"owner": "LnL7",
"repo": "nix-darwin",
2023-11-12 12:43:00 +01:00
"rev": "0f1ad801387445fdda01d080db8ecf169be8e793",
"type": "github"
},
"original": {
"owner": "LnL7",
"repo": "nix-darwin",
"type": "github"
}
},
2023-10-12 22:51:18 +02:00
"nixpkgs": {
"locked": {
2023-11-12 12:43:00 +01:00
"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": 1699099776,
"narHash": "sha256-X09iKJ27mGsGambGfkKzqvw5esP1L/Rf8H3u3fCqIiU=",
2023-10-12 22:51:18 +02:00
"owner": "nixos",
"repo": "nixpkgs",
2023-11-12 12:43:00 +01:00
"rev": "85f1ba3e51676fa8cc604a3d863d729026a6b8eb",
2023-10-12 22:51:18 +02:00
"type": "github"
},
"original": {
"owner": "nixos",
"ref": "nixos-unstable",
"repo": "nixpkgs",
"type": "github"
}
},
2023-11-12 12:43:00 +01:00
"nixpkgs_4": {
2023-10-27 23:40:45 +02:00
"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": {
2023-11-12 12:43:00 +01:00
"lastModified": 1699738267,
"narHash": "sha256-spGi9SpcDQ4Vf9ulojj7wdVz83erFMvpwmtXGNkKalk=",
2023-10-27 23:40:45 +02:00
"ref": "refs/heads/master",
2023-11-12 12:43:00 +01:00
"rev": "f536566a01ef215386131a5baef1a25e744cf069",
"revCount": 78,
2023-10-27 23:40:45 +02:00
"type": "git",
"url": "https://git@githug.xyz/rachel/nixos-config"
},
"original": {
"type": "git",
"url": "https://git@githug.xyz/rachel/nixos-config"
}
},
2023-10-12 22:51:18 +02:00
"root": {
"inputs": {
"ansi-utils": "ansi-utils",
"home-manager": "home-manager",
"kak": "kak",
2023-11-12 12:43:00 +01:00
"kak-tree": "kak-tree",
"nix-darwin": "nix-darwin",
2023-11-12 12:43:00 +01:00
"nixpkgs": "nixpkgs_3",
2023-10-27 23:40:45 +02:00
"rachel": "rachel",
2023-10-12 22:51:18 +02:00
"unambig-path": "unambig-path",
"unispect": "unispect"
}
},
2023-11-12 12:43:00 +01:00
"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"
}
},
2023-10-12 22:51:18 +02:00
"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"
}
},
2023-10-27 23:40:45 +02:00
"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"
}
},
2023-11-12 12:43:00 +01:00
"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": {
2023-10-12 22:51:18 +02:00
"inputs": {
2023-10-27 23:40:45 +02:00
"flake-utils": "flake-utils_5",
2023-11-12 12:43:00 +01:00
"nixpkgs": "nixpkgs_2"
},
"locked": {
"lastModified": 1699742193,
"narHash": "sha256-1pc59vyEpFwtHYKsEGAwxL7/4wiTmLmzKO6j61wqOeo=",
"ref": "refs/heads/main",
"rev": "bb561d2e33d4d9f9d8171df2484ba6ae8e810b74",
"revCount": 3,
"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",
2023-10-12 22:51:18 +02:00
"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": {
2023-11-12 12:43:00 +01:00
"flake-utils": "flake-utils_9",
2023-10-12 22:51:18 +02:00
"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
}