{
  "nodes": {
    "fenix": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ],
        "rust-analyzer-src": "rust-analyzer-src"
      },
      "locked": {
        "lastModified": 1753771482,
        "narHash": "sha256-7WnYHGi5xT4PCacjM/UVp+k4ZYIIXwCf6CjVqgUnGTQ=",
        "owner": "nix-community",
        "repo": "fenix",
        "rev": "8b6da138fb7baefa04a4284c63b2abefdfbd2c6d",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "repo": "fenix",
        "type": "github"
      }
    },
    "flake-utils": {
      "inputs": {
        "systems": "systems"
      },
      "locked": {
        "lastModified": 1710146030,
        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "gomod2nix": {
      "inputs": {
        "flake-utils": [
          "psgen",
          "flake-utils"
        ],
        "nixpkgs": [
          "psgen",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1750314194,
        "narHash": "sha256-SjpXWEeB+UIMzuCAF94PuyAXpJdnBLF45JvI6o4wKIU=",
        "owner": "tweag",
        "repo": "gomod2nix",
        "rev": "a5f75f563748599d448a4a076816041d7b0fc07e",
        "type": "github"
      },
      "original": {
        "owner": "tweag",
        "repo": "gomod2nix",
        "type": "github"
      }
    },
    "lowrisc-nix": {
      "inputs": {
        "flake-utils": [
          "flake-utils"
        ],
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1754918967,
        "narHash": "sha256-YSDxooemjaHP1LBdF/+dldJMgIHBCXyy5gMb+uwbxLg=",
        "owner": "lowrisc",
        "repo": "lowrisc-nix",
        "rev": "d634ff6474ca3b5370eab2c890e4173c12618850",
        "type": "github"
      },
      "original": {
        "owner": "lowrisc",
        "repo": "lowrisc-nix",
        "type": "github"
      }
    },
    "lowrisc_sail": {
      "flake": false,
      "locked": {
        "lastModified": 1755506511,
        "narHash": "sha256-b/34iN0OSXmKo5C1eUROTrfyQ21/2LGV09Al08WqDig=",
        "owner": "lowrisc",
        "repo": "sail",
        "rev": "99513016db9bf5287650f01885d56957ae104c97",
        "type": "github"
      },
      "original": {
        "owner": "lowrisc",
        "ref": "ast_translate",
        "repo": "sail",
        "type": "github"
      }
    },
    "lowrisc_sail_riscv": {
      "flake": false,
      "locked": {
        "lastModified": 1722338144,
        "narHash": "sha256-ALWgTa/AxCnHJlK/RSZ6856xK2lwHc6CzHGtf4d8C0s=",
        "owner": "lowrisc",
        "repo": "sail-riscv",
        "rev": "81a266b6f65365b34180af7b91708265da653878",
        "type": "github"
      },
      "original": {
        "owner": "lowrisc",
        "ref": "81a266b6f65365b34180af7b91708265da653878",
        "repo": "sail-riscv",
        "type": "github"
      }
    },
    "lowrisc_yosys_slang": {
      "flake": false,
      "locked": {
        "lastModified": 1755705118,
        "narHash": "sha256-L7uvn4Bq/u9FQXfaVb3kB2RkNJeC6+7uNpF1n5rNf+o=",
        "ref": "formal",
        "rev": "32ecbc344ac4cfe898a32afaea0189f88f40cbb9",
        "revCount": 500,
        "submodules": true,
        "type": "git",
        "url": "https://github.com/mndstrmr/yosys-slang"
      },
      "original": {
        "ref": "formal",
        "submodules": true,
        "type": "git",
        "url": "https://github.com/mndstrmr/yosys-slang"
      }
    },
    "mkshell-minimal": {
      "locked": {
        "lastModified": 1700988624,
        "narHash": "sha256-KJyiF67zVYOBkNltKhJATfSj+gfRFX9dSFIWDEBy2nQ=",
        "owner": "viperML",
        "repo": "mkshell-minimal",
        "rev": "6b0868be06da900b5fe6ece05616b84e3cbd7944",
        "type": "github"
      },
      "original": {
        "owner": "viperML",
        "repo": "mkshell-minimal",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1757810152,
        "narHash": "sha256-Vp9K5ol6h0J90jG7Rm4RWZsCB3x7v5VPx588TQ1dkfs=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "9a094440e02a699be5c57453a092a8baf569bdad",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixos-25.05",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs-gcc93": {
      "locked": {
        "lastModified": 1635350005,
        "narHash": "sha256-tAMJnUwfaDEB2aa31jGcu7R7bzGELM9noc91L2PbVjg=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "1c1f5649bb9c1b0d98637c8c365228f57126f361",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixos-20.09",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1725103162,
        "narHash": "sha256-Ym04C5+qovuQDYL/rKWSR+WESseQBbNAe5DsXNx5trY=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "12228ff1752d7b7624a54e9c1af4b222b3c1073b",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "psgen": {
      "inputs": {
        "flake-utils": [
          "flake-utils"
        ],
        "gomod2nix": "gomod2nix",
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1754386443,
        "narHash": "sha256-wJmFiXg8aEaSZu1LDV7nIE1JVBzkO5tXL1rz7uYm6DI=",
        "owner": "mndstrmr",
        "repo": "psgen",
        "rev": "dbf67e445c6978bffbf75f0dea0abf2b264e616a",
        "type": "github"
      },
      "original": {
        "owner": "mndstrmr",
        "repo": "psgen",
        "type": "github"
      }
    },
    "pyproject-build-systems": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ],
        "pyproject-nix": [
          "pyproject-nix"
        ],
        "uv2nix": [
          "uv2nix"
        ]
      },
      "locked": {
        "lastModified": 1754926764,
        "narHash": "sha256-9MyIG0Wrt/pDhNuC2jlK8brn0FXA9FftHHWZ30rSK/k=",
        "owner": "pyproject-nix",
        "repo": "build-system-pkgs",
        "rev": "25623931e44b4f4d5e6cde78146d11aae19143fa",
        "type": "github"
      },
      "original": {
        "owner": "pyproject-nix",
        "repo": "build-system-pkgs",
        "type": "github"
      }
    },
    "pyproject-nix": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1754923840,
        "narHash": "sha256-QSKpYg+Ts9HYF155ltlj40iBex39c05cpOF8gjoE2EM=",
        "owner": "pyproject-nix",
        "repo": "pyproject.nix",
        "rev": "023cd4be230eacae52635be09eef100c37ef78da",
        "type": "github"
      },
      "original": {
        "owner": "pyproject-nix",
        "repo": "pyproject.nix",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "fenix": "fenix",
        "flake-utils": "flake-utils",
        "lowrisc-nix": "lowrisc-nix",
        "lowrisc_sail": "lowrisc_sail",
        "lowrisc_sail_riscv": "lowrisc_sail_riscv",
        "lowrisc_yosys_slang": "lowrisc_yosys_slang",
        "mkshell-minimal": "mkshell-minimal",
        "nixpkgs": "nixpkgs",
        "nixpkgs-gcc93": "nixpkgs-gcc93",
        "psgen": "psgen",
        "pyproject-build-systems": "pyproject-build-systems",
        "pyproject-nix": "pyproject-nix",
        "sv2v": "sv2v",
        "uv2nix": "uv2nix",
        "uv2nix_hammer_overrides": "uv2nix_hammer_overrides"
      }
    },
    "rust-analyzer-src": {
      "flake": false,
      "locked": {
        "lastModified": 1753724566,
        "narHash": "sha256-DolKhpXhoehwLX+K/4xRRIeppnJHgKk6xWJdqn/vM6w=",
        "owner": "rust-lang",
        "repo": "rust-analyzer",
        "rev": "511c999bea1c3c129b8eba713bb9b809a9003d00",
        "type": "github"
      },
      "original": {
        "owner": "rust-lang",
        "ref": "nightly",
        "repo": "rust-analyzer",
        "type": "github"
      }
    },
    "sv2v": {
      "flake": false,
      "locked": {
        "lastModified": 1774651589,
        "narHash": "sha256-ziwLw1/S4wbnqml/AnN/yerOJJ3VOfRc3dZa8cmEaD0=",
        "owner": "zachjs",
        "repo": "sv2v",
        "rev": "6662fa5da71f87797598060f17728b284b99a9fc",
        "type": "github"
      },
      "original": {
        "owner": "zachjs",
        "repo": "sv2v",
        "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": {
        "id": "systems",
        "type": "indirect"
      }
    },
    "treefmt-nix": {
      "inputs": {
        "nixpkgs": "nixpkgs_2"
      },
      "locked": {
        "lastModified": 1725271838,
        "narHash": "sha256-VcqxWT0O/gMaeWTTjf1r4MOyG49NaNxW4GHTO3xuThE=",
        "owner": "numtide",
        "repo": "treefmt-nix",
        "rev": "9fb342d14b69aefdf46187f6bb80a4a0d97007cd",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "treefmt-nix",
        "type": "github"
      }
    },
    "uv2nix": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ],
        "pyproject-nix": [
          "pyproject-nix"
        ]
      },
      "locked": {
        "lastModified": 1754921620,
        "narHash": "sha256-Y8iMmx8M4HzA8lR0GreF//2G24Gn9Z0aDNx545cAlbc=",
        "owner": "pyproject-nix",
        "repo": "uv2nix",
        "rev": "1eded325661aa8950c8ffb5b673096c66afe930c",
        "type": "github"
      },
      "original": {
        "owner": "pyproject-nix",
        "repo": "uv2nix",
        "type": "github"
      }
    },
    "uv2nix_hammer_overrides": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ],
        "systems": "systems_2",
        "treefmt-nix": "treefmt-nix"
      },
      "locked": {
        "lastModified": 1773092866,
        "narHash": "sha256-ovnT1Fx1u7PiYwinKxG3rFh3B38tta9ietvoh22+SIw=",
        "owner": "TyberiusPrime",
        "repo": "uv2nix_hammer_overrides",
        "rev": "efc9f213860490692e27f0854e26b8ac62acfff3",
        "type": "github"
      },
      "original": {
        "owner": "TyberiusPrime",
        "repo": "uv2nix_hammer_overrides",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}