flake.lock

{
  "nodes": {
    "flake-compat": {
      "flake": false,
      "locked": {
        "lastModified": 1696426674,
        "narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "0f9255e01c2351cc7d116c072cb317785dd33b33",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-utils": {
      "inputs": {
        "systems": "systems_2"
      },
      "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"
      }
    },
    "fmt-src": {
      "flake": false,
      "locked": {
        "lastModified": 1661615830,
        "narHash": "sha256-rP6ymyRc7LnKxUXwPpzhHOQvpJkpnRFOt2ctvUNlYI0=",
        "owner": "fmtlib",
        "repo": "fmt",
        "rev": "a33701196adfad74917046096bf5a2aa0ab0bb50",
        "type": "github"
      },
      "original": {
        "owner": "fmtlib",
        "ref": "9.1.0",
        "repo": "fmt",
        "type": "github"
      }
    },
    "haskell-backend": {
      "inputs": {
        "nixpkgs": [
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "rv-utils": [
          "k-framework",
          "llvm-backend",
          "rv-utils"
        ],
        "stacklock2nix": "stacklock2nix",
        "z3": "z3"
      },
      "locked": {
        "lastModified": 1741129735,
        "narHash": "sha256-sAgpo3/qNVEEDLUlMwsooWpay7pxJaL2bqJKAVzxeWI=",
        "owner": "runtimeverification",
        "repo": "haskell-backend",
        "rev": "4336b0af912c3ea7617cf6061679ef2fe16afc82",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v0.1.115",
        "repo": "haskell-backend",
        "type": "github"
      }
    },
    "immer-src": {
      "flake": false,
      "locked": {
        "lastModified": 1708038459,
        "narHash": "sha256-aV/mQFuPzioy1PxROc85ypeP7/d0nn+xcBPzy9taw2s=",
        "owner": "runtimeverification",
        "repo": "immer",
        "rev": "4b0914f0b2acb33befe0ba4cd3a7954f2687e9bb",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "repo": "immer",
        "rev": "4b0914f0b2acb33befe0ba4cd3a7954f2687e9bb",
        "type": "github"
      }
    },
    "k-framework": {
      "inputs": {
        "flake-utils": [
          "k-framework",
          "llvm-backend",
          "utils"
        ],
        "haskell-backend": "haskell-backend",
        "llvm-backend": "llvm-backend",
        "nixpkgs": [
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "poetry2nix": "poetry2nix",
        "rv-utils": [
          "k-framework",
          "llvm-backend",
          "rv-utils"
        ]
      },
      "locked": {
        "lastModified": 1741166879,
        "narHash": "sha256-kbhoAh/s/XJCQwDZZPaF2vk3fzJdSSTw7jHf22BJ2AI=",
        "owner": "runtimeverification",
        "repo": "k",
        "rev": "37f442b90e04d00e90a9cc250c70ff043d0f80d7",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v7.1.218",
        "repo": "k",
        "type": "github"
      }
    },
    "llvm-backend": {
      "inputs": {
        "flake-compat": "flake-compat",
        "fmt-src": "fmt-src",
        "immer-src": "immer-src",
        "nixpkgs": [
          "k-framework",
          "llvm-backend",
          "rv-utils",
          "nixpkgs"
        ],
        "pybind11-src": "pybind11-src",
        "rapidjson-src": "rapidjson-src",
        "rv-utils": "rv-utils",
        "utils": "utils"
      },
      "locked": {
        "lastModified": 1739992196,
        "narHash": "sha256-VquQtJCkhBvXnuwPAXadcS0nvR8AdzNDOhDdc6mNFuE=",
        "owner": "runtimeverification",
        "repo": "llvm-backend",
        "rev": "4203a45110504a6661ca086816e28dafa9e7ac54",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v0.1.126",
        "repo": "llvm-backend",
        "type": "github"
      }
    },
    "nix-github-actions": {
      "inputs": {
        "nixpkgs": [
          "k-framework",
          "poetry2nix",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1703863825,
        "narHash": "sha256-rXwqjtwiGKJheXB43ybM8NwWB8rO2dSRrEqes0S7F5Y=",
        "owner": "nix-community",
        "repo": "nix-github-actions",
        "rev": "5163432afc817cf8bd1f031418d1869e4c9d5547",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "repo": "nix-github-actions",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1716457947,
        "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb",
        "type": "github"
      }
    },
    "poetry2nix": {
      "inputs": {
        "flake-utils": "flake-utils",
        "nix-github-actions": "nix-github-actions",
        "nixpkgs": [
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "systems": "systems_3",
        "treefmt-nix": "treefmt-nix"
      },
      "locked": {
        "lastModified": 1725253878,
        "narHash": "sha256-HwXut4WbOUAjmybhui2eNSE6+Wb0nigYgDzBBOZaPG4=",
        "owner": "nix-community",
        "repo": "poetry2nix",
        "rev": "0d3fad5740d892487805cd2d60d8e4ed828486e9",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "ref": "2024.9.219347",
        "repo": "poetry2nix",
        "type": "github"
      }
    },
    "pybind11-src": {
      "flake": false,
      "locked": {
        "lastModified": 1657936673,
        "narHash": "sha256-/X8DZPFsNrKGbhjZ1GFOj17/NU6p4R+saCW3pLKVNeA=",
        "owner": "pybind",
        "repo": "pybind11",
        "rev": "0ba639d6177659c5dc2955ac06ad7b5b0d22e05c",
        "type": "github"
      },
      "original": {
        "owner": "pybind",
        "repo": "pybind11",
        "rev": "0ba639d6177659c5dc2955ac06ad7b5b0d22e05c",
        "type": "github"
      }
    },
    "rapidjson-src": {
      "flake": false,
      "locked": {
        "lastModified": 1472111945,
        "narHash": "sha256-SxUXSOQDZ0/3zlFI4R84J56/1fkw2jhge4mexNF6Pco=",
        "owner": "Tencent",
        "repo": "rapidjson",
        "rev": "f54b0e47a08782a6131cc3d60f94d038fa6e0a51",
        "type": "github"
      },
      "original": {
        "owner": "Tencent",
        "repo": "rapidjson",
        "rev": "f54b0e47a08782a6131cc3d60f94d038fa6e0a51",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "flake-utils": [
          "k-framework",
          "flake-utils"
        ],
        "k-framework": "k-framework",
        "nixpkgs": [
          "k-framework",
          "nixpkgs"
        ],
        "poetry2nix": [
          "k-framework",
          "poetry2nix"
        ],
        "rv-utils": [
          "k-framework",
          "rv-utils"
        ]
      }
    },
    "rv-utils": {
      "inputs": {
        "nixpkgs": "nixpkgs"
      },
      "locked": {
        "lastModified": 1716459074,
        "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=",
        "owner": "runtimeverification",
        "repo": "rv-nix-tools",
        "rev": "a65058865cda201de504f5546271b8e997a0be9c",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "repo": "rv-nix-tools",
        "type": "github"
      }
    },
    "stacklock2nix": {
      "locked": {
        "lastModified": 1705051190,
        "narHash": "sha256-xgH0gaD3dNtOzZzX3A40hZTiHJP5cIGmifbmfcS2OGI=",
        "owner": "cdepillabout",
        "repo": "stacklock2nix",
        "rev": "22676dfc45fa1c33899ba1da1a23665172a18ba7",
        "type": "github"
      },
      "original": {
        "owner": "cdepillabout",
        "repo": "stacklock2nix",
        "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": {
        "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": {
        "id": "systems",
        "type": "indirect"
      }
    },
    "treefmt-nix": {
      "inputs": {
        "nixpkgs": [
          "k-framework",
          "poetry2nix",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1719749022,
        "narHash": "sha256-ddPKHcqaKCIFSFc/cvxS14goUhCOAwsM1PbMr0ZtHMg=",
        "owner": "numtide",
        "repo": "treefmt-nix",
        "rev": "8df5ff62195d4e67e2264df0b7f5e8c9995fd0bd",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "treefmt-nix",
        "type": "github"
      }
    },
    "utils": {
      "inputs": {
        "systems": "systems"
      },
      "locked": {
        "lastModified": 1705309234,
        "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "1ef2e671c3b0c19053962c07dbda38332dcebf26",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "z3": {
      "flake": false,
      "locked": {
        "lastModified": 1734346855,
        "narHash": "sha256-8hWXCr6IuNVKkOegEmWooo5jkdmln9nU7wI8T882BSE=",
        "owner": "Z3Prover",
        "repo": "z3",
        "rev": "6f24123f0c9d1d8bd84dec275c5c7aea939a19fe",
        "type": "github"
      },
      "original": {
        "owner": "Z3Prover",
        "ref": "z3-4.13.4",
        "repo": "z3",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}