{
  "nodes": {
    "charon": {
      "inputs": {
        "crane": "crane",
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs",
        "rust-overlay": "rust-overlay"
      },
      "locked": {
        "lastModified": 1710741599,
        "narHash": "sha256-/5o81Ifs6OGqNpxMklGCJ6w2CVQrQn+xMaC1VrC8pZE=",
        "owner": "aeneasverif",
        "repo": "charon",
        "rev": "f3faf02ec1dbd6645b816d54be39261dea6970c2",
        "type": "github"
      },
      "original": {
        "owner": "aeneasverif",
        "repo": "charon",
        "type": "github"
      }
    },
    "crane": {
      "inputs": {
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1701622587,
        "narHash": "sha256-o3XhxCCyrUHZ0tlta2W7/MuXzy+n0+BUt3rKFK3DIK4=",
        "owner": "ipetkov",
        "repo": "crane",
        "rev": "c09d2cbe84cc2adfe1943cb2a0b55a71c835ca9a",
        "type": "github"
      },
      "original": {
        "owner": "ipetkov",
        "repo": "crane",
        "type": "github"
      }
    },
    "flake-utils": {
      "inputs": {
        "systems": "systems"
      },
      "locked": {
        "lastModified": 1701680307,
        "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_2": {
      "inputs": {
        "systems": "systems_2"
      },
      "locked": {
        "lastModified": 1692799911,
        "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44",
        "type": "github"
      },
      "original": {
        "id": "flake-utils",
        "type": "indirect"
      }
    },
    "fstar": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "nixpkgs": "nixpkgs_2"
      },
      "locked": {
        "lastModified": 1710514291,
        "narHash": "sha256-eO3XmWazqfmSm91sQDk0HJNyLpsU5W6BgeftXoJSUl0=",
        "owner": "fstarlang",
        "repo": "fstar",
        "rev": "704382c882f3b5b95f7987d3464f97020195319b",
        "type": "github"
      },
      "original": {
        "owner": "fstarlang",
        "repo": "fstar",
        "type": "github"
      }
    },
    "hacl": {
      "inputs": {
        "flake-utils": [
          "hacl-nix",
          "flake-utils"
        ],
        "fstar": [
          "hacl-nix",
          "fstar"
        ],
        "karamel": [
          "hacl-nix",
          "karamel"
        ],
        "nixpkgs": [
          "hacl-nix",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1710421079,
        "narHash": "sha256-iXmFy2/JmS3khP4V3zIg1P4SROq0sPPuqOxRidJbfqQ=",
        "owner": "hacl-star",
        "repo": "hacl-star",
        "rev": "e5620ceb7c8a4996520d693f597872806dc0a1d3",
        "type": "github"
      },
      "original": {
        "owner": "hacl-star",
        "repo": "hacl-star",
        "type": "github"
      }
    },
    "hacl-nix": {
      "inputs": {
        "flake-utils": [
          "hacl-nix",
          "fstar",
          "flake-utils"
        ],
        "fstar": "fstar",
        "hacl": "hacl",
        "karamel": "karamel",
        "nixpkgs": [
          "hacl-nix",
          "fstar",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1710638129,
        "narHash": "sha256-/SkIjiIg0MROfmYyA8XfWljRC4ehxDuZpE3tDQ07yYc=",
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "rev": "cc8c396d454e89c04012cf3b16eb6f64eb455bd6",
        "type": "github"
      },
      "original": {
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "type": "github"
      }
    },
    "karamel": {
      "inputs": {
        "flake-utils": [
          "hacl-nix",
          "flake-utils"
        ],
        "fstar": [
          "hacl-nix",
          "fstar"
        ],
        "nixpkgs": [
          "hacl-nix",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1710613474,
        "narHash": "sha256-C1y575wlUVaI3AlTMZvMYpie6mSLUmiQDXasaHqKo6o=",
        "owner": "fstarlang",
        "repo": "karamel",
        "rev": "95968326f0ca1d6f9056347496482d285e6a9f1e",
        "type": "github"
      },
      "original": {
        "owner": "fstarlang",
        "repo": "karamel",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1701436327,
        "narHash": "sha256-tRHbnoNI8SIM5O5xuxOmtSLnswEByzmnQcGGyNRjxsE=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "91050ea1e57e50388fa87a3302ba12d188ef723a",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-unstable",
        "type": "indirect"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1693158576,
        "narHash": "sha256-aRTTXkYvhXosGx535iAFUaoFboUrZSYb1Ooih/auGp0=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "a999c1cc0c9eb2095729d5aa03e0d8f7ed256780",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-unstable",
        "type": "indirect"
      }
    },
    "root": {
      "inputs": {
        "charon": "charon",
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "hacl-nix": "hacl-nix",
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      }
    },
    "rust-overlay": {
      "inputs": {
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1701656211,
        "narHash": "sha256-lfFXsLWH4hVbEKR6K+UcDiKxeS6Lz4FkC1DZ9LHqf9Y=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "47a276e820ae4ae1b8d98a503bf09d2ceb52dfd8",
        "type": "github"
      },
      "original": {
        "owner": "oxalica",
        "repo": "rust-overlay",
        "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"
      }
    }
  },
  "root": "root",
  "version": 7
}