{
  "nodes": {
    "charon": {
      "inputs": {
        "crane": "crane",
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs",
        "rust-overlay": "rust-overlay"
      },
      "locked": {
        "lastModified": 1712825631,
        "narHash": "sha256-YC0QArtso4Z9iBgd63FXHsSopMtWof0kC7ZrYpE6yzg=",
        "owner": "aeneasverif",
        "repo": "charon",
        "rev": "657de2521c285401d706ec69d588bb5778b18109",
        "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": 1711560370,
        "narHash": "sha256-Zemy2tyGeT8bJNbXSboACWklmSqg+QRIWBLOXpLlW9o=",
        "owner": "fstarlang",
        "repo": "fstar",
        "rev": "7c8968bb0e417da75144912dcffd714364525eb2",
        "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": 1711568656,
        "narHash": "sha256-2IMm+0CzxBsjTu4bq6z/XW3EyC0Rb5GVxXv7oAm440M=",
        "owner": "hacl-star",
        "repo": "hacl-star",
        "rev": "210826cd1b3326808d46b1fd71b6e2ccedd4efc1",
        "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": 1711588307,
        "narHash": "sha256-x4okHJXh94JGtesKp36t+W3g0qEcSryljN4VnUgPwV4=",
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "rev": "07e1272531b5e56f29687f3387d152c38a229d1c",
        "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": 1711558868,
        "narHash": "sha256-3SbVwNIAN6fGG8ABJ4jghvvx4jMNoYn2P9VHnBFr8YE=",
        "owner": "fstarlang",
        "repo": "karamel",
        "rev": "d9186a778bd8a730cc8ddcd84eac542fa7226a59",
        "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
}