{
  "nodes": {
    "charon": {
      "inputs": {
        "crane": "crane",
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs",
        "rust-overlay": "rust-overlay_2"
      },
      "locked": {
        "lastModified": 1668376967,
        "narHash": "sha256-w898bwo0E+5IvKevhnk6S4EMDm/oW6wbI3/ZRvvJmIM=",
        "owner": "aeneasverif",
        "repo": "charon",
        "rev": "3304f736b092f33dc0945cbe0be3afdf8c002191",
        "type": "github"
      },
      "original": {
        "owner": "aeneasverif",
        "repo": "charon",
        "type": "github"
      }
    },
    "crane": {
      "inputs": {
        "flake-compat": "flake-compat",
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ],
        "rust-overlay": "rust-overlay"
      },
      "locked": {
        "lastModified": 1666567222,
        "narHash": "sha256-AVySilLW+eNM409GSIJYsF6wg5NsxK12Ht2DMSYAgO0=",
        "owner": "ipetkov",
        "repo": "crane",
        "rev": "2ce1a3313e299b0db63b11f94c863af74b0b08ad",
        "type": "github"
      },
      "original": {
        "owner": "ipetkov",
        "repo": "crane",
        "type": "github"
      }
    },
    "flake-compat": {
      "flake": false,
      "locked": {
        "lastModified": 1650374568,
        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-utils": {
      "locked": {
        "lastModified": 1659877975,
        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_2": {
      "locked": {
        "lastModified": 1667395993,
        "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f",
        "type": "github"
      },
      "original": {
        "id": "flake-utils",
        "type": "indirect"
      }
    },
    "fstar-src": {
      "flake": false,
      "locked": {
        "lastModified": 1668549455,
        "narHash": "sha256-WHgHYmeWwy3RfIE2pkOyLTpkhi8FXL83zO8Tv2N9Iic=",
        "owner": "fstarlang",
        "repo": "fstar",
        "rev": "2040a595ed2faff0a1dce782fefbb518102eb1dd",
        "type": "github"
      },
      "original": {
        "owner": "fstarlang",
        "repo": "fstar",
        "type": "github"
      }
    },
    "hacl": {
      "inputs": {
        "flake-utils": [
          "hacl-nix",
          "flake-utils"
        ],
        "fstar-src": [
          "hacl-nix",
          "fstar-src"
        ],
        "hacl-nix": [
          "hacl-nix"
        ],
        "karamel-src": [
          "hacl-nix",
          "karamel-src"
        ],
        "nixpkgs": [
          "hacl-nix",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1668456660,
        "narHash": "sha256-m4/L+AgF5LaG6v82L3TpB66vv/PIORtd0XTvoOlP1Ok=",
        "owner": "hacl-star",
        "repo": "hacl-star",
        "rev": "7241848c958eb6ae7dec0cd683852ae10a3bd799",
        "type": "github"
      },
      "original": {
        "owner": "hacl-star",
        "repo": "hacl-star",
        "type": "github"
      }
    },
    "hacl-nix": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "fstar-src": "fstar-src",
        "hacl": "hacl",
        "karamel-src": "karamel-src",
        "nixpkgs": "nixpkgs_2"
      },
      "locked": {
        "lastModified": 1668558838,
        "narHash": "sha256-etn/6ASEQFHIbTddAaHuz55/mWNz/UJcu3363YUHUOE=",
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "rev": "8f22117a9e9b2733acfa0f50fc5cf849bca18860",
        "type": "github"
      },
      "original": {
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "type": "github"
      }
    },
    "karamel-src": {
      "flake": false,
      "locked": {
        "lastModified": 1668034772,
        "narHash": "sha256-1Z3is1g0qhrn4eKFepXxD1fPhcPVIB02rAihMUU5zyc=",
        "owner": "fstarlang",
        "repo": "karamel",
        "rev": "55b36e2c06b99f735283062e74f826d3088c2697",
        "type": "github"
      },
      "original": {
        "owner": "fstarlang",
        "repo": "karamel",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1666703756,
        "narHash": "sha256-GwpMJ1hT+z1fMAUkaGtvbvofJQwdVFDEGVhfE82+AUk=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "f994293d1eb8812f032e8919e10a594567cf6ef7",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-unstable",
        "type": "indirect"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1667811565,
        "narHash": "sha256-HYml7RdQPQ7X13VNe2CoDMqmifsXbt4ACTKxHRKQE3Q=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "667e5581d16745bcda791300ae7e2d73f49fff25",
        "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",
          "crane",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "crane",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1666494036,
        "narHash": "sha256-4mmm+1MBPMD56LMLN9QcEwnfnu41NkA6lDeZGjSrxIw=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "af2e939ba2c7cbb188d06d6650c6353b10b3f2be",
        "type": "github"
      },
      "original": {
        "owner": "oxalica",
        "repo": "rust-overlay",
        "type": "github"
      }
    },
    "rust-overlay_2": {
      "inputs": {
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1666839029,
        "narHash": "sha256-gmSmf3bDS9oR4OHsvKHEErqje228XXP22uKIQWZj4Jo=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "c095030cf6c84e304f867ad066d8d5b051131af5",
        "type": "github"
      },
      "original": {
        "owner": "oxalica",
        "repo": "rust-overlay",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}