flake.lock

{
  "nodes": {
    "home-manager": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1739571712,
        "narHash": "sha256-0UdSDV/TBY+GuxXLbrLq3l2Fq02ciyKCIMy4qmnfJXQ=",
        "owner": "nix-community",
        "repo": "home-manager",
        "rev": "6d3163aea47fdb1fe19744e91306a2ea4f602292",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "repo": "home-manager",
        "type": "github"
      }
    },
    "isabelle": {
      "locked": {
        "lastModified": 1739632581,
        "narHash": "sha256-9Dp9U124s8csdYQSykoOcytze7LMt00idhTvikwzmeY=",
        "owner": "jvanbruegge",
        "repo": "nixpkgs",
        "rev": "be05fef07a2e198204ca1f225e0b043ad914841e",
        "type": "github"
      },
      "original": {
        "owner": "jvanbruegge",
        "ref": "isabelle-2025",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1739446958,
        "narHash": "sha256-+/bYK3DbPxMIvSL4zArkMX0LQvS7rzBKXnDXLfKyRVc=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "2ff53fe64443980e139eaa286017f53f88336dd0",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "home-manager": "home-manager",
        "isabelle": "isabelle",
        "nixpkgs": "nixpkgs"
      }
    }
  },
  "root": "root",
  "version": 7
}