{
  "nodes": {
    "flake-compat": {
      "flake": false,
      "locked": {
        "lastModified": 1627913399,
        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-utils": {
      "inputs": {
        "systems": "systems"
      },
      "locked": {
        "lastModified": 1709126324,
        "narHash": "sha256-q6EQdSeUZOG26WelxqkmR7kArjgWCdw5sfJVHPH/7j8=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "d465f4819400de7c8d874d50b982301f28a84605",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_2": {
      "locked": {
        "lastModified": 1638122382,
        "narHash": "sha256-sQzZzAbvKEqN9s0bzWuYmRaA03v40gaJ4+iL1LXjaeI=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "74f7e4319258e287b0f9cb95426c9853b282730b",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "mirage-opam-overlays": {
      "flake": false,
      "locked": {
        "lastModified": 1661959605,
        "narHash": "sha256-CPTuhYML3F4J58flfp3ZbMNhkRkVFKmBEYBZY5tnQwA=",
        "owner": "dune-universe",
        "repo": "mirage-opam-overlays",
        "rev": "05f1c1823d891ce4d8adab91f5db3ac51d86dc0b",
        "type": "github"
      },
      "original": {
        "owner": "dune-universe",
        "repo": "mirage-opam-overlays",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1682362401,
        "narHash": "sha256-/UMUHtF2CyYNl4b60Z2y4wwTTdIWGKhj9H301EDcT9M=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "884ac294018409e0d1adc0cae185439a44bd6b0b",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "opam-nix": {
      "inputs": {
        "flake-compat": "flake-compat",
        "flake-utils": "flake-utils_2",
        "mirage-opam-overlays": "mirage-opam-overlays",
        "nixpkgs": "nixpkgs",
        "opam-overlays": "opam-overlays",
        "opam-repository": "opam-repository",
        "opam2json": "opam2json"
      },
      "locked": {
        "lastModified": 1706878465,
        "narHash": "sha256-0k0KSkU7epRQshZZKsOpyE79lnwn/0q2VagzDhIeZpE=",
        "owner": "tweag",
        "repo": "opam-nix",
        "rev": "9f03f7e0664c369f25e614d3f3be74ea78b647fa",
        "type": "github"
      },
      "original": {
        "owner": "tweag",
        "repo": "opam-nix",
        "type": "github"
      }
    },
    "opam-overlays": {
      "flake": false,
      "locked": {
        "lastModified": 1654162756,
        "narHash": "sha256-RV68fUK+O3zTx61iiHIoS0LvIk0E4voMp+0SwRg6G6c=",
        "owner": "dune-universe",
        "repo": "opam-overlays",
        "rev": "c8f6ef0fc5272f254df4a971a47de7848cc1c8a4",
        "type": "github"
      },
      "original": {
        "owner": "dune-universe",
        "repo": "opam-overlays",
        "type": "github"
      }
    },
    "opam-repository": {
      "flake": false,
      "locked": {
        "lastModified": 1705008664,
        "narHash": "sha256-TTjTal49QK2U0yVOmw6rJhTGYM7tnj3Kv9DiEEiLt7E=",
        "owner": "ocaml",
        "repo": "opam-repository",
        "rev": "fa77046c6497f8ca32926acdb7eb1e61777d4c17",
        "type": "github"
      },
      "original": {
        "owner": "ocaml",
        "repo": "opam-repository",
        "type": "github"
      }
    },
    "opam2json": {
      "inputs": {
        "nixpkgs": [
          "opam-nix",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1671540003,
        "narHash": "sha256-5pXfbUfpVABtKbii6aaI2EdAZTjHJ2QntEf0QD2O5AM=",
        "owner": "tweag",
        "repo": "opam2json",
        "rev": "819d291ea95e271b0e6027679de6abb4d4f7f680",
        "type": "github"
      },
      "original": {
        "owner": "tweag",
        "repo": "opam2json",
        "type": "github"
      }
    },
    "prover_cvc4_1_8": {
      "flake": false,
      "locked": {
        "lastModified": 1592585967,
        "narHash": "sha256-V6KShPLW6kFBJaNgqy98rjOxULmf5c8AmDwo9fclGuY=",
        "owner": "CVC4",
        "repo": "CVC4-archived",
        "rev": "5247901077efbc7b9016ba35fded7a6ab459a379",
        "type": "github"
      },
      "original": {
        "owner": "CVC4",
        "ref": "1.8",
        "repo": "CVC4-archived",
        "type": "github"
      }
    },
    "prover_cvc5_1_0_5": {
      "flake": false,
      "locked": {
        "lastModified": 1678724158,
        "narHash": "sha256-l+L59QLLrAEVkAZjhxICJpa+j+jr1k/7B61JlapXGRI=",
        "owner": "cvc5",
        "repo": "cvc5",
        "rev": "4cb2ab9eb36f64295272a50f61dd1c62903aca4b",
        "type": "github"
      },
      "original": {
        "owner": "cvc5",
        "ref": "cvc5-1.0.5",
        "repo": "cvc5",
        "type": "github"
      }
    },
    "prover_z3_4_12_6": {
      "flake": false,
      "locked": {
        "lastModified": 1708814107,
        "narHash": "sha256-X4wfPWVSswENV0zXJp/5u9SQwGJWocLKJ/CNv57Bt+E=",
        "owner": "z3prover",
        "repo": "z3",
        "rev": "fa2c0e027894a8d55d2b841e27cbeecc99692a3f",
        "type": "github"
      },
      "original": {
        "owner": "z3prover",
        "ref": "z3-4.12.6",
        "repo": "z3",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "flake-utils": "flake-utils",
        "nixpkgs": [
          "opam-nix",
          "nixpkgs"
        ],
        "opam-nix": "opam-nix",
        "prover_cvc4_1_8": "prover_cvc4_1_8",
        "prover_cvc5_1_0_5": "prover_cvc5_1_0_5",
        "prover_z3_4_12_6": "prover_z3_4_12_6",
        "stable": "stable"
      }
    },
    "stable": {
      "locked": {
        "lastModified": 1701282334,
        "narHash": "sha256-MxCVrXY6v4QmfTwIysjjaX0XUhqBbxTWWB4HXtDYsdk=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "057f9aecfb71c4437d2b27d3323df7f93c010b7e",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "23.11",
        "repo": "nixpkgs",
        "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"
      }
    }
  },
  "root": "root",
  "version": 7
}