flake.lock

{
  "nodes": {
    "ate-pairing": {
      "flake": false,
      "locked": {
        "lastModified": 1499347915,
        "narHash": "sha256-IMfWgKkkX7UcUaOPtGRcYD8MdVEP5Z9JOOSJ4+P07G8=",
        "owner": "herumi",
        "repo": "ate-pairing",
        "rev": "e69890125746cdaf25b5b51227d96678f76479fe",
        "type": "github"
      },
      "original": {
        "owner": "herumi",
        "repo": "ate-pairing",
        "rev": "e69890125746cdaf25b5b51227d96678f76479fe",
        "type": "github"
      }
    },
    "blockchain-k-plugin": {
      "inputs": {
        "ate-pairing": "ate-pairing",
        "blst": "blst",
        "ckzg4844": "ckzg4844",
        "cpp-httplib": "cpp-httplib",
        "cryptopp": "cryptopp",
        "flake-utils": [
          "kevm",
          "k-framework",
          "flake-utils"
        ],
        "k-framework": "k-framework",
        "libff": "libff",
        "nixpkgs": [
          "kevm",
          "k-framework",
          "nixpkgs"
        ],
        "poetry2nix": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "poetry2nix"
        ],
        "rv-utils": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "rv-utils"
        ],
        "xbyak": "xbyak"
      },
      "locked": {
        "lastModified": 1741336075,
        "narHash": "sha256-rFwScLxdJ+cS81MPbhub0vgQLkxEQwdHsQ+sSlnwQHE=",
        "owner": "runtimeverification",
        "repo": "blockchain-k-plugin",
        "rev": "651a2db5afc1789c89553f9113c1afa39e391e35",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "repo": "blockchain-k-plugin",
        "rev": "651a2db5afc1789c89553f9113c1afa39e391e35",
        "type": "github"
      }
    },
    "blst": {
      "flake": false,
      "locked": {
        "lastModified": 1717085405,
        "narHash": "sha256-z/xnttMuAOfoKn/yCBwdYbgcd6cDLD6tZxInAWn8XIk=",
        "owner": "supranational",
        "repo": "blst",
        "rev": "e99f7db0db413e2efefcfd077a4e335766f39c27",
        "type": "github"
      },
      "original": {
        "owner": "supranational",
        "repo": "blst",
        "rev": "e99f7db0db413e2efefcfd077a4e335766f39c27",
        "type": "github"
      }
    },
    "ckzg4844": {
      "flake": false,
      "locked": {
        "lastModified": 1736965374,
        "narHash": "sha256-uvdL0eUKK1LR4mYl4Url4sxvCpLQGpoYAiD9ZWYeuzY=",
        "owner": "ethereum",
        "repo": "c-kzg-4844",
        "rev": "d1168fc791b910286c7308f7dd99fa566567e942",
        "type": "github"
      },
      "original": {
        "owner": "ethereum",
        "repo": "c-kzg-4844",
        "rev": "d1168fc791b910286c7308f7dd99fa566567e942",
        "type": "github"
      }
    },
    "cpp-httplib": {
      "flake": false,
      "locked": {
        "lastModified": 1595279716,
        "narHash": "sha256-cZW/iEwlaB4UQ0OQLNqboY9addncIM/OsxxPzqmATmE=",
        "owner": "yhirose",
        "repo": "cpp-httplib",
        "rev": "72ce293fed9f9335e92c95ab7d085feed18c0ee8",
        "type": "github"
      },
      "original": {
        "owner": "yhirose",
        "repo": "cpp-httplib",
        "rev": "72ce293fed9f9335e92c95ab7d085feed18c0ee8",
        "type": "github"
      }
    },
    "cryptopp": {
      "flake": false,
      "locked": {
        "lastModified": 1632484127,
        "narHash": "sha256-a3TYaK34WvKEXN7LKAfGwQ3ZL6a3k/zMZyyVfnkQqO4=",
        "owner": "weidai11",
        "repo": "cryptopp",
        "rev": "69bf6b53052b59ccb57ce068ce741988ae087317",
        "type": "github"
      },
      "original": {
        "owner": "weidai11",
        "repo": "cryptopp",
        "rev": "69bf6b53052b59ccb57ce068ce741988ae087317",
        "type": "github"
      }
    },
    "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-compat_2": {
      "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"
      }
    },
    "flake-utils_2": {
      "inputs": {
        "systems": "systems_5"
      },
      "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"
      }
    },
    "fmt-src_2": {
      "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"
      }
    },
    "foundry": {
      "inputs": {
        "flake-utils": [
          "flake-utils"
        ],
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1740993113,
        "narHash": "sha256-XY6CUZft7wjB/cbLyi/xeOZHh2mizSAT0EaYo9wuRXI=",
        "owner": "shazow",
        "repo": "foundry.nix",
        "rev": "ed2a08376f14c0caf2b97418c91a66872e5ab3e2",
        "type": "github"
      },
      "original": {
        "owner": "shazow",
        "ref": "monthly",
        "repo": "foundry.nix",
        "type": "github"
      }
    },
    "haskell-backend": {
      "inputs": {
        "nixpkgs": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "rv-utils": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "llvm-backend",
          "rv-utils"
        ],
        "stacklock2nix": "stacklock2nix",
        "z3": "z3"
      },
      "locked": {
        "lastModified": 1729679874,
        "narHash": "sha256-+HNfnDTdH08YEHgTYIB0CF1YWrJMbiH9vyQUKnOyhsA=",
        "owner": "runtimeverification",
        "repo": "haskell-backend",
        "rev": "d933d5ccb4cee63b83b8a990a03d3f4267139e41",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v0.1.92",
        "repo": "haskell-backend",
        "type": "github"
      }
    },
    "haskell-backend_2": {
      "inputs": {
        "nixpkgs": [
          "kevm",
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "rv-utils": [
          "kevm",
          "k-framework",
          "llvm-backend",
          "rv-utils"
        ],
        "stacklock2nix": "stacklock2nix_2",
        "z3": "z3_2"
      },
      "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"
      }
    },
    "immer-src_2": {
      "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": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "llvm-backend",
          "utils"
        ],
        "haskell-backend": "haskell-backend",
        "llvm-backend": "llvm-backend",
        "nixpkgs": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "poetry2nix": "poetry2nix",
        "rv-utils": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "llvm-backend",
          "rv-utils"
        ]
      },
      "locked": {
        "lastModified": 1729715336,
        "narHash": "sha256-e4515vXk5qzIITnYvcUK3kbC37S8S0PMbqv56ld5OAU=",
        "owner": "runtimeverification",
        "repo": "k",
        "rev": "5d1ccd5a2585cbec970c68f8530ddbf2b27fe574",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v7.1.166",
        "repo": "k",
        "type": "github"
      }
    },
    "k-framework_2": {
      "inputs": {
        "flake-utils": [
          "kevm",
          "k-framework",
          "llvm-backend",
          "utils"
        ],
        "haskell-backend": "haskell-backend_2",
        "llvm-backend": "llvm-backend_2",
        "nixpkgs": [
          "kevm",
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "poetry2nix": "poetry2nix_2",
        "rv-utils": [
          "kevm",
          "k-framework",
          "llvm-backend",
          "rv-utils"
        ]
      },
      "locked": {
        "lastModified": 1741890593,
        "narHash": "sha256-XQLVBilbKnnPykjcvop8I2BtqdssCMq9orZ9mruwQnk=",
        "owner": "runtimeverification",
        "repo": "k",
        "rev": "e603ee72dca59efe75d09ab6402ea883a59ff47a",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v7.1.222",
        "repo": "k",
        "type": "github"
      }
    },
    "kevm": {
      "inputs": {
        "blockchain-k-plugin": "blockchain-k-plugin",
        "flake-utils": [
          "kevm",
          "k-framework",
          "flake-utils"
        ],
        "haskell-backend": [
          "kevm",
          "k-framework",
          "haskell-backend"
        ],
        "k-framework": "k-framework_2",
        "nixpkgs": [
          "kevm",
          "k-framework",
          "nixpkgs"
        ],
        "poetry2nix": [
          "kevm",
          "k-framework",
          "poetry2nix"
        ],
        "rv-utils": [
          "kevm",
          "k-framework",
          "rv-utils"
        ]
      },
      "locked": {
        "lastModified": 1741946514,
        "narHash": "sha256-CsmqmqYmnDHsLJs/Ywf0Za9EYjrQcQnmXjnG/M8aebk=",
        "owner": "runtimeverification",
        "repo": "evm-semantics",
        "rev": "c746b9f641f31803f3cfe331389b47a6161a9574",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v1.0.806",
        "repo": "evm-semantics",
        "type": "github"
      }
    },
    "libff": {
      "flake": false,
      "locked": {
        "lastModified": 1588032522,
        "narHash": "sha256-I0kH2XLvHDSrdL/o4i6XozWQJV0UDv9zH6+sWS0UQHg=",
        "owner": "scipr-lab",
        "repo": "libff",
        "rev": "5835b8c59d4029249645cf551f417608c48f2770",
        "type": "github"
      },
      "original": {
        "owner": "scipr-lab",
        "repo": "libff",
        "rev": "5835b8c59d4029249645cf551f417608c48f2770",
        "type": "github"
      }
    },
    "llvm-backend": {
      "inputs": {
        "flake-compat": "flake-compat",
        "fmt-src": "fmt-src",
        "immer-src": "immer-src",
        "nixpkgs": [
          "kevm",
          "blockchain-k-plugin",
          "k-framework",
          "llvm-backend",
          "rv-utils",
          "nixpkgs"
        ],
        "pybind11-src": "pybind11-src",
        "rapidjson-src": "rapidjson-src",
        "rv-utils": "rv-utils",
        "utils": "utils"
      },
      "locked": {
        "lastModified": 1729195362,
        "narHash": "sha256-/Fw5o0F3AJ+zk9nEOEsxLnSrWiKrDOe5RN6ChilbVfY=",
        "owner": "runtimeverification",
        "repo": "llvm-backend",
        "rev": "37b1dd959d47f7b072751b8a3aaef3837de49a79",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v0.1.101",
        "repo": "llvm-backend",
        "type": "github"
      }
    },
    "llvm-backend_2": {
      "inputs": {
        "flake-compat": "flake-compat_2",
        "fmt-src": "fmt-src_2",
        "immer-src": "immer-src_2",
        "nixpkgs": [
          "kevm",
          "k-framework",
          "llvm-backend",
          "rv-utils",
          "nixpkgs"
        ],
        "pybind11-src": "pybind11-src_2",
        "rapidjson-src": "rapidjson-src_2",
        "rv-utils": "rv-utils_2",
        "utils": "utils_2"
      },
      "locked": {
        "lastModified": 1741131517,
        "narHash": "sha256-+Y6U6FLr+nUzJQwP2c6ggzjX6uym15yT823EMP3RCBQ=",
        "owner": "runtimeverification",
        "repo": "llvm-backend",
        "rev": "2852f4a7c8e03a1542e546b1fb501bd403617ce0",
        "type": "github"
      },
      "original": {
        "owner": "runtimeverification",
        "ref": "v0.1.127",
        "repo": "llvm-backend",
        "type": "github"
      }
    },
    "nix-github-actions": {
      "inputs": {
        "nixpkgs": [
          "kevm",
          "blockchain-k-plugin",
          "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"
      }
    },
    "nix-github-actions_2": {
      "inputs": {
        "nixpkgs": [
          "kevm",
          "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"
      }
    },
    "nixpkgs_2": {
      "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": [
          "kevm",
          "blockchain-k-plugin",
          "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"
      }
    },
    "poetry2nix_2": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "nix-github-actions": "nix-github-actions_2",
        "nixpkgs": [
          "kevm",
          "k-framework",
          "llvm-backend",
          "nixpkgs"
        ],
        "systems": "systems_6",
        "treefmt-nix": "treefmt-nix_2"
      },
      "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"
      }
    },
    "pybind11-src_2": {
      "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"
      }
    },
    "rapidjson-src_2": {
      "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": [
          "kevm",
          "flake-utils"
        ],
        "foundry": "foundry",
        "k-framework": [
          "kevm",
          "k-framework"
        ],
        "kevm": "kevm",
        "nixpkgs": [
          "kevm",
          "nixpkgs"
        ],
        "poetry2nix": [
          "kevm",
          "poetry2nix"
        ],
        "rv-utils": [
          "kevm",
          "rv-utils"
        ],
        "solc": "solc"
      }
    },
    "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"
      }
    },
    "rv-utils_2": {
      "inputs": {
        "nixpkgs": "nixpkgs_2"
      },
      "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"
      }
    },
    "solc": {
      "inputs": {
        "flake-utils": [
          "flake-utils"
        ],
        "nixpkgs": [
          "nixpkgs"
        ],
        "solc-macos-amd64-list-json": "solc-macos-amd64-list-json"
      },
      "locked": {
        "lastModified": 1717174528,
        "narHash": "sha256-vRO38Obe/EHniQi5AScLM6YPx2qHUoOLoPNZWyF3CXU=",
        "owner": "goodlyrottenapple",
        "repo": "solc.nix",
        "rev": "075843fdf17f8621f17389f7c4a3d8098725173f",
        "type": "github"
      },
      "original": {
        "owner": "goodlyrottenapple",
        "repo": "solc.nix",
        "type": "github"
      }
    },
    "solc-macos-amd64-list-json": {
      "flake": false,
      "locked": {
        "narHash": "sha256-Prwz95BgMHcWd72VwVbcH17LsV9f24K2QMcUiWUQZzI=",
        "type": "file",
        "url": "https://github.com/ethereum/solc-bin/raw/f743ca7/macosx-amd64/list.json"
      },
      "original": {
        "type": "file",
        "url": "https://github.com/ethereum/solc-bin/raw/f743ca7/macosx-amd64/list.json"
      }
    },
    "stacklock2nix": {
      "locked": {
        "lastModified": 1705051190,
        "narHash": "sha256-xgH0gaD3dNtOzZzX3A40hZTiHJP5cIGmifbmfcS2OGI=",
        "owner": "cdepillabout",
        "repo": "stacklock2nix",
        "rev": "22676dfc45fa1c33899ba1da1a23665172a18ba7",
        "type": "github"
      },
      "original": {
        "owner": "cdepillabout",
        "repo": "stacklock2nix",
        "type": "github"
      }
    },
    "stacklock2nix_2": {
      "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"
      }
    },
    "systems_4": {
      "locked": {
        "lastModified": 1681028828,
        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
        "owner": "nix-systems",
        "repo": "default",
        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
        "type": "github"
      },
      "original": {
        "owner": "nix-systems",
        "repo": "default",
        "type": "github"
      }
    },
    "systems_5": {
      "locked": {
        "lastModified": 1681028828,
        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
        "owner": "nix-systems",
        "repo": "default",
        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
        "type": "github"
      },
      "original": {
        "owner": "nix-systems",
        "repo": "default",
        "type": "github"
      }
    },
    "systems_6": {
      "locked": {
        "lastModified": 1681028828,
        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
        "owner": "nix-systems",
        "repo": "default",
        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
        "type": "github"
      },
      "original": {
        "id": "systems",
        "type": "indirect"
      }
    },
    "treefmt-nix": {
      "inputs": {
        "nixpkgs": [
          "kevm",
          "blockchain-k-plugin",
          "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"
      }
    },
    "treefmt-nix_2": {
      "inputs": {
        "nixpkgs": [
          "kevm",
          "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"
      }
    },
    "utils_2": {
      "inputs": {
        "systems": "systems_4"
      },
      "locked": {
        "lastModified": 1705309234,
        "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "1ef2e671c3b0c19053962c07dbda38332dcebf26",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "xbyak": {
      "flake": false,
      "locked": {
        "lastModified": 1518572786,
        "narHash": "sha256-jqDSNDcqK7010ig941hrJFkv1X7MbgXmhPOOE9wHmho=",
        "owner": "herumi",
        "repo": "xbyak",
        "rev": "f0a8f7faa27121f28186c2a7f4222a9fc66c283d",
        "type": "github"
      },
      "original": {
        "owner": "herumi",
        "repo": "xbyak",
        "rev": "f0a8f7faa27121f28186c2a7f4222a9fc66c283d",
        "type": "github"
      }
    },
    "z3": {
      "flake": false,
      "locked": {
        "lastModified": 1709835916,
        "narHash": "sha256-MIbP3QgKIGF/qUMTupaO7xD46LbmH69kF/394Sajhkg=",
        "owner": "Z3Prover",
        "repo": "z3",
        "rev": "3049f578a8f98a0b0992eca193afe57a73b30ca3",
        "type": "github"
      },
      "original": {
        "owner": "Z3Prover",
        "ref": "z3-4.13.0",
        "repo": "z3",
        "type": "github"
      }
    },
    "z3_2": {
      "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
}