{
  "nodes": {
    "charon": {
      "inputs": {
        "crane": "crane",
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs",
        "rust-overlay": "rust-overlay_2"
      },
      "locked": {
        "lastModified": 1678136172,
        "narHash": "sha256-4XFs4MKtOmJTrer+uIz1t3XP+DeN72Kr6FZB5tdX3Zg=",
        "owner": "aeneasverif",
        "repo": "charon",
        "rev": "f2436fd2002084e6e966918ff462eb436f1c64a4",
        "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": 1673056065,
        "narHash": "sha256-a68tMDTDqdAauxq377ALl4Uwm6oh9MeoY2WbTYRWZoo=",
        "owner": "ipetkov",
        "repo": "crane",
        "rev": "0144134311767fcee80213321f079a8ffa0b9cc1",
        "type": "github"
      },
      "original": {
        "owner": "ipetkov",
        "repo": "crane",
        "type": "github"
      }
    },
    "flake-compat": {
      "flake": false,
      "locked": {
        "lastModified": 1668681692,
        "narHash": "sha256-Ht91NGdewz8IQLtWZ9LCeNXMSXHUss+9COoqu6JLmXU=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "009399224d5e398d03b22badca40a37ac85412a1",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-utils": {
      "locked": {
        "lastModified": 1667395993,
        "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f",
        "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": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "nixpkgs": "nixpkgs_2"
      },
      "locked": {
        "lastModified": 1678051679,
        "narHash": "sha256-AC8dzASxvQQDB1KpBVGRG3Sa/9HZv6Xu+77MA6nbsAw=",
        "owner": "fstarlang",
        "repo": "fstar",
        "rev": "72e1dc828d2b79234bd5cf26f011f877280f581f",
        "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": 1678019549,
        "narHash": "sha256-TWym/lTC22Y9rXKZZqpN/RR+UzcY2ftcxrc1+uNogkM=",
        "owner": "hacl-star",
        "repo": "hacl-star",
        "rev": "5ea164d21c553bd3703ed31be9163ad66c2ba0d9",
        "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": 1678067125,
        "narHash": "sha256-4cU6Ic8273l4X38YAX2jDL3pA3iR4gxgoZIpt5lsEc0=",
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "rev": "b30ddd505375c203bbf33445a7755b705b2a900a",
        "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": 1677084714,
        "narHash": "sha256-yjeq6lUpJpqRmL9UIBSoFLbi8TLNY7vsCH2E1SrSfYI=",
        "owner": "fstarlang",
        "repo": "karamel",
        "rev": "bd359d86d59401b001788468fa7366e741836c02",
        "type": "github"
      },
      "original": {
        "owner": "fstarlang",
        "repo": "karamel",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1673134516,
        "narHash": "sha256-mAZQKqkNQbBmJnmUU0blOfkKlgMSSVyPHdeWeuKad8U=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "f6f44561884c3470e2b783683d5dbac42dfc833b",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-unstable",
        "type": "indirect"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1669140675,
        "narHash": "sha256-npzfyfLECsJWgzK/M4gWhykP2DNAJTYjgY2BWkz/oEQ=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "2788904d26dda6cfa1921c5abb7a2466ffe3cb8c",
        "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": 1672712534,
        "narHash": "sha256-8S0DdMPcbITnlOu0uA81mTo3hgX84wK8S9wS34HEFY4=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "69fb7bf0a8c40e6c4c197fa1816773774c8ac59f",
        "type": "github"
      },
      "original": {
        "owner": "oxalica",
        "repo": "rust-overlay",
        "type": "github"
      }
    },
    "rust-overlay_2": {
      "inputs": {
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1673231106,
        "narHash": "sha256-Tbw4N/TL+nHmxF8RBoOJbl/6DRRzado/9/ttPEzkGr8=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "3488cec01351c2f1086b02a3a61808be7a25103e",
        "type": "github"
      },
      "original": {
        "owner": "oxalica",
        "repo": "rust-overlay",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}