nixos/pkgs/_sources/generated.nix

# This file was generated by nvfetcher, please do not modify it manually.
{ fetchgit, fetchurl, fetchFromGitHub, dockerTools }:
{
  dioxionary = {
    pname = "dioxionary";
    version = "20d7b44e49e51c2fce3b0369bd544ec561476108";
    src = fetchgit {
      url = "https://github.com/vaaandark/dioxionary.git";
      rev = "20d7b44e49e51c2fce3b0369bd544ec561476108";
      fetchSubmodules = false;
      deepClone = false;
      leaveDotGit = false;
      sparseCheckout = [ ];
      sha256 = "sha256-FAt0WKxVzM+JCGEVJRKUmMebj0MMwHOo8SlPeHn8s/0=";
    };
    cargoLock."./Cargo.lock" = {
      lockFile = ./dioxionary-20d7b44e49e51c2fce3b0369bd544ec561476108/./Cargo.lock;
      outputHashes = {
        
      };
    };
    date = "2025-03-17";
  };
  juicity = {
    pname = "juicity";
    version = "4c5e8bd948ba2f72a0dd38681cf13ae532f6c9f5";
    src = fetchgit {
      url = "https://githuh.com/juicity/juicity";
      rev = "4c5e8bd948ba2f72a0dd38681cf13ae532f6c9f5";
      fetchSubmodules = false;
      deepClone = false;
      leaveDotGit = false;
      sparseCheckout = [ ];
      sha256 = "sha256-s/OYlW66mu/3MHwhZCxvQv8f/rNuCB4SLZ2jYPO5UQQ=";
    };
    date = "2025-02-20";
  };
  rime-ice = {
    pname = "rime-ice";
    version = "af3ea15b5c843d2c2d9ce904356073f962e8aa3d";
    src = fetchFromGitHub {
      owner = "iDvel";
      repo = "rime-ice";
      rev = "af3ea15b5c843d2c2d9ce904356073f962e8aa3d";
      fetchSubmodules = false;
      sha256 = "sha256-52Iu5qikFJzYc5jL604C/zklLozV6p+C0/zr/DUvlGk=";
    };
    date = "2025-03-30";
  };
  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;
      sparseCheckout = [ ];
      sha256 = "sha256-aOAxb0KjhSwlNX/IDvGwEysYvImgUEIDeNDOWRl1qNk=";
    };
    name = "idris";
    date = "2024-11-05";
  };
}