2025-03-11 23:11:01 +08:00
|
|
|
# This file was generated by nvfetcher, please do not modify it manually.
|
|
|
|
|
{
|
2025-04-28 21:20:32 +08:00
|
|
|
fetchgit,
|
|
|
|
|
fetchurl,
|
|
|
|
|
fetchFromGitHub,
|
|
|
|
|
dockerTools,
|
|
|
|
|
}: {
|
2025-03-14 12:57:47 +08:00
|
|
|
dioxionary = {
|
|
|
|
|
pname = "dioxionary";
|
2025-04-06 02:29:34 +08:00
|
|
|
version = "4db80d458ff7494967c94ebb1db596abba0775b2";
|
2025-03-23 10:01:32 +08:00
|
|
|
src = fetchgit {
|
|
|
|
|
url = "https://github.com/vaaandark/dioxionary.git";
|
2025-04-06 02:29:34 +08:00
|
|
|
rev = "4db80d458ff7494967c94ebb1db596abba0775b2";
|
2025-03-14 12:57:47 +08:00
|
|
|
fetchSubmodules = false;
|
2025-03-23 10:01:32 +08:00
|
|
|
deepClone = false;
|
|
|
|
|
leaveDotGit = false;
|
2025-04-28 21:20:32 +08:00
|
|
|
sparseCheckout = [];
|
2025-04-06 02:29:34 +08:00
|
|
|
sha256 = "sha256-H5uMTtDX9hBV36MtiPPlHPaL//WM11J5kdtEhyJBZIU=";
|
2025-03-14 12:57:47 +08:00
|
|
|
};
|
2025-03-19 15:22:20 +08:00
|
|
|
cargoLock."./Cargo.lock" = {
|
2025-04-06 02:29:34 +08:00
|
|
|
lockFile = ./dioxionary-4db80d458ff7494967c94ebb1db596abba0775b2/./Cargo.lock;
|
2025-03-14 12:57:47 +08:00
|
|
|
outputHashes = {
|
|
|
|
|
};
|
|
|
|
|
};
|
2025-04-06 02:29:34 +08:00
|
|
|
date = "2025-04-07";
|
2025-03-14 12:57:47 +08:00
|
|
|
};
|
2025-03-11 23:11:01 +08:00
|
|
|
juicity = {
|
|
|
|
|
pname = "juicity";
|
|
|
|
|
version = "4c5e8bd948ba2f72a0dd38681cf13ae532f6c9f5";
|
|
|
|
|
src = fetchgit {
|
|
|
|
|
url = "https://githuh.com/juicity/juicity";
|
|
|
|
|
rev = "4c5e8bd948ba2f72a0dd38681cf13ae532f6c9f5";
|
|
|
|
|
fetchSubmodules = false;
|
|
|
|
|
deepClone = false;
|
|
|
|
|
leaveDotGit = false;
|
2025-04-28 21:20:32 +08:00
|
|
|
sparseCheckout = [];
|
2025-03-11 23:11:01 +08:00
|
|
|
sha256 = "sha256-s/OYlW66mu/3MHwhZCxvQv8f/rNuCB4SLZ2jYPO5UQQ=";
|
|
|
|
|
};
|
|
|
|
|
date = "2025-02-20";
|
|
|
|
|
};
|
2025-04-05 03:07:13 +08:00
|
|
|
noto-sans-cjk = {
|
|
|
|
|
pname = "noto-sans-cjk";
|
|
|
|
|
version = "Serif2.003";
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "notofonts";
|
|
|
|
|
repo = "noto-cjk";
|
|
|
|
|
rev = "Serif2.003";
|
|
|
|
|
fetchSubmodules = false;
|
|
|
|
|
deepClone = false;
|
|
|
|
|
leaveDotGit = false;
|
2025-04-28 21:20:32 +08:00
|
|
|
sparseCheckout = ["Sans/OTC"];
|
2025-04-05 03:07:13 +08:00
|
|
|
sha256 = "sha256-UxbwdY2w3u6i1kBWwr5vMKvsnD3eCllN+kBrCH38KlY=";
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
noto-serif-cjk = {
|
|
|
|
|
pname = "noto-serif-cjk";
|
|
|
|
|
version = "Serif2.003";
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "notofonts";
|
|
|
|
|
repo = "noto-cjk";
|
|
|
|
|
rev = "Serif2.003";
|
|
|
|
|
fetchSubmodules = false;
|
|
|
|
|
deepClone = false;
|
|
|
|
|
leaveDotGit = false;
|
2025-04-28 21:20:32 +08:00
|
|
|
sparseCheckout = ["Serif/OTC"];
|
2025-04-05 03:07:13 +08:00
|
|
|
sha256 = "sha256-mfbBSdJrUCZiUUmsmndtEW6H3z6KfBn+dEftBySf2j4=";
|
|
|
|
|
};
|
|
|
|
|
};
|
2025-03-16 00:26:37 +08:00
|
|
|
rime-ice = {
|
|
|
|
|
pname = "rime-ice";
|
2025-04-24 11:55:11 +08:00
|
|
|
version = "7f6f4880bd5f6b7a76195c515af2e64b88ce0ec2";
|
2025-03-16 00:26:37 +08:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "iDvel";
|
|
|
|
|
repo = "rime-ice";
|
2025-04-24 11:55:11 +08:00
|
|
|
rev = "7f6f4880bd5f6b7a76195c515af2e64b88ce0ec2";
|
2025-03-16 00:26:37 +08:00
|
|
|
fetchSubmodules = false;
|
2025-04-24 11:55:11 +08:00
|
|
|
sha256 = "sha256-N7EDvQX598jxNILzwTwAeu/BY9wWVBRUuTApamf4nAY=";
|
2025-03-16 00:26:37 +08:00
|
|
|
};
|
2025-04-24 11:55:11 +08:00
|
|
|
date = "2025-04-22";
|
2025-03-16 00:26:37 +08:00
|
|
|
};
|
2025-03-11 23:49:16 +08:00
|
|
|
tree-sitter-idris = {
|
|
|
|
|
pname = "tree-sitter-idris";
|
|
|
|
|
version = "c56a25cf57c68ff929356db25505c1cc4c7820f6";
|
|
|
|
|
src = fetchgit {
|
|
|
|
|
url = "https://github.com/kayhide/tree-sitter-idris";
|
|
|
|
|
rev = "c56a25cf57c68ff929356db25505c1cc4c7820f6";
|
|
|
|
|
fetchSubmodules = false;
|
|
|
|
|
deepClone = false;
|
|
|
|
|
leaveDotGit = false;
|
2025-04-28 21:20:32 +08:00
|
|
|
sparseCheckout = [];
|
2025-03-11 23:49:16 +08:00
|
|
|
sha256 = "sha256-aOAxb0KjhSwlNX/IDvGwEysYvImgUEIDeNDOWRl1qNk=";
|
|
|
|
|
};
|
|
|
|
|
name = "idris";
|
|
|
|
|
date = "2024-11-05";
|
|
|
|
|
};
|
2025-03-11 23:11:01 +08:00
|
|
|
}
|