{
  "nodes": {
    "charon": {
      "inputs": {
        "crane": "crane",
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs",
        "rust-overlay": "rust-overlay_2"
      },
      "locked": {
        "lastModified": 1691568898,
        "narHash": "sha256-BqKlmpX+tV2VYDZXhIhPbO1v9fbNy1/pzd8AooOXvxE=",
        "owner": "aeneasverif",
        "repo": "charon",
        "rev": "5a81a41bafe18101d368e9ab4af440d7fefeee25",
        "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": 1691423162,
        "narHash": "sha256-cReUZCo83YEEmFcHX8CcOVTZYUrcWgHQO34zxQzy7WI=",
        "owner": "ipetkov",
        "repo": "crane",
        "rev": "b5d9d42ea3fa8fea1805d9af1416fe207d0dd1dc",
        "type": "github"
      },
      "original": {
        "owner": "ipetkov",
        "repo": "crane",
        "type": "github"
      }
    },
    "flake-compat": {
      "flake": false,
      "locked": {
        "lastModified": 1673956053,
        "narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-utils": {
      "inputs": {
        "systems": "systems"
      },
      "locked": {
        "lastModified": 1689068808,
        "narHash": "sha256-6ixXo3wt24N/melDWjq70UuHQLxGV8jZvooRanIHXw0=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "919d646de7be200f3bf08cb76ae1f09402b6f9b4",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_2": {
      "inputs": {
        "systems": "systems_2"
      },
      "locked": {
        "lastModified": 1681202837,
        "narHash": "sha256-H+Rh19JDwRtpVPAWp64F+rlEtxUWBAQW28eAi3SRSzg=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "cfacdce06f30d2b68473a46042957675eebb3401",
        "type": "github"
      },
      "original": {
        "id": "flake-utils",
        "type": "indirect"
      }
    },
    "flake-utils_3": {
      "inputs": {
        "systems": "systems_3"
      },
      "locked": {
        "lastModified": 1689068808,
        "narHash": "sha256-6ixXo3wt24N/melDWjq70UuHQLxGV8jZvooRanIHXw0=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "919d646de7be200f3bf08cb76ae1f09402b6f9b4",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_4": {
      "locked": {
        "lastModified": 1656928814,
        "narHash": "sha256-RIFfgBuKz6Hp89yRr7+NR5tzIAbn52h8vT6vXkYjZoM=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "7e2a3b3dfd9af950a856d66b0a7d01e3c18aa249",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_5": {
      "locked": {
        "lastModified": 1656928814,
        "narHash": "sha256-RIFfgBuKz6Hp89yRr7+NR5tzIAbn52h8vT6vXkYjZoM=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "7e2a3b3dfd9af950a856d66b0a7d01e3c18aa249",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "fstar": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "nixpkgs": "nixpkgs_2"
      },
      "locked": {
        "lastModified": 1690839655,
        "narHash": "sha256-285hRt/qzVSMPf34OS187WH4q4edPtb86UJrdZAPtfY=",
        "owner": "fstarlang",
        "repo": "fstar",
        "rev": "8f812f3adb7e35810edca22a02016f269c0d1d2a",
        "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": 1688938536,
        "narHash": "sha256-P+uk/ZbY9+StXs5SivB5lT5qUiPWnz5gSozJ3isezWs=",
        "owner": "hacl-star",
        "repo": "hacl-star",
        "rev": "d2f087304c0b59c0486e25ff2f1daec78d92f69b",
        "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": 1690853873,
        "narHash": "sha256-RWmZC/Qp8+l/HsbYk982Jqp+zxqYzzsbP60NEhZktwY=",
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "rev": "11df45d92e34f23a86bde4134114b023ce0cd6a9",
        "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": 1690242065,
        "narHash": "sha256-YCHBlXiQqO5A27f+2p/NdtKKP0GNqNEUTH2tMwtFDkQ=",
        "owner": "fstarlang",
        "repo": "karamel",
        "rev": "ed0c7e432715f95c6b9f4268eb1082eb636356a1",
        "type": "github"
      },
      "original": {
        "owner": "fstarlang",
        "repo": "karamel",
        "type": "github"
      }
    },
    "lake": {
      "inputs": {
        "flake-utils": "flake-utils_3",
        "lean": "lean",
        "nixpkgs": "nixpkgs_5"
      },
      "locked": {
        "lastModified": 1689377246,
        "narHash": "sha256-UP5Vu5RFPqoRa2tpHaQ7JoX5IY/7BTA9b+MF418oszY=",
        "owner": "leanprover",
        "repo": "lake",
        "rev": "9919b5efc48c71a940635a0bbab00a394ebe53f8",
        "type": "github"
      },
      "original": {
        "owner": "leanprover",
        "ref": "lean4-master",
        "repo": "lake",
        "type": "github"
      }
    },
    "lean": {
      "inputs": {
        "flake-utils": "flake-utils_4",
        "lean4-mode": "lean4-mode",
        "nix": "nix",
        "nixpkgs": "nixpkgs_4"
      },
      "locked": {
        "lastModified": 1691545327,
        "narHash": "sha256-9oAUBNRvZxK8dBuxzH5GGhET5lyolecOHmbwywgyk4s=",
        "owner": "leanprover",
        "repo": "lean4",
        "rev": "e7a1512da8d6f9339766f3a269de56e546757fde",
        "type": "github"
      },
      "original": {
        "owner": "leanprover",
        "repo": "lean4",
        "type": "github"
      }
    },
    "lean4-mode": {
      "flake": false,
      "locked": {
        "lastModified": 1676498134,
        "narHash": "sha256-u3WvyKxOViZG53hkb8wd2/Og6muTecbh+NdflIgVeyk=",
        "owner": "leanprover",
        "repo": "lean4-mode",
        "rev": "2c6ef33f476fdf5eb5e4fa4fa023ba8b11372440",
        "type": "github"
      },
      "original": {
        "owner": "leanprover",
        "repo": "lean4-mode",
        "type": "github"
      }
    },
    "lean4-mode_2": {
      "flake": false,
      "locked": {
        "lastModified": 1676498134,
        "narHash": "sha256-u3WvyKxOViZG53hkb8wd2/Og6muTecbh+NdflIgVeyk=",
        "owner": "leanprover",
        "repo": "lean4-mode",
        "rev": "2c6ef33f476fdf5eb5e4fa4fa023ba8b11372440",
        "type": "github"
      },
      "original": {
        "owner": "leanprover",
        "repo": "lean4-mode",
        "type": "github"
      }
    },
    "lean_2": {
      "inputs": {
        "flake-utils": "flake-utils_5",
        "lean4-mode": "lean4-mode_2",
        "nix": "nix_2",
        "nixpkgs": "nixpkgs_7"
      },
      "locked": {
        "lastModified": 1691545327,
        "narHash": "sha256-9oAUBNRvZxK8dBuxzH5GGhET5lyolecOHmbwywgyk4s=",
        "owner": "leanprover",
        "repo": "lean4",
        "rev": "e7a1512da8d6f9339766f3a269de56e546757fde",
        "type": "github"
      },
      "original": {
        "owner": "leanprover",
        "repo": "lean4",
        "type": "github"
      }
    },
    "lowdown-src": {
      "flake": false,
      "locked": {
        "lastModified": 1633514407,
        "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=",
        "owner": "kristapsdz",
        "repo": "lowdown",
        "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8",
        "type": "github"
      },
      "original": {
        "owner": "kristapsdz",
        "repo": "lowdown",
        "type": "github"
      }
    },
    "lowdown-src_2": {
      "flake": false,
      "locked": {
        "lastModified": 1633514407,
        "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=",
        "owner": "kristapsdz",
        "repo": "lowdown",
        "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8",
        "type": "github"
      },
      "original": {
        "owner": "kristapsdz",
        "repo": "lowdown",
        "type": "github"
      }
    },
    "nix": {
      "inputs": {
        "lowdown-src": "lowdown-src",
        "nixpkgs": "nixpkgs_3",
        "nixpkgs-regression": "nixpkgs-regression"
      },
      "locked": {
        "lastModified": 1657097207,
        "narHash": "sha256-SmeGmjWM3fEed3kQjqIAO8VpGmkC2sL1aPE7kKpK650=",
        "owner": "NixOS",
        "repo": "nix",
        "rev": "f6316b49a0c37172bca87ede6ea8144d7d89832f",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "repo": "nix",
        "type": "github"
      }
    },
    "nix_2": {
      "inputs": {
        "lowdown-src": "lowdown-src_2",
        "nixpkgs": "nixpkgs_6",
        "nixpkgs-regression": "nixpkgs-regression_2"
      },
      "locked": {
        "lastModified": 1657097207,
        "narHash": "sha256-SmeGmjWM3fEed3kQjqIAO8VpGmkC2sL1aPE7kKpK650=",
        "owner": "NixOS",
        "repo": "nix",
        "rev": "f6316b49a0c37172bca87ede6ea8144d7d89832f",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "repo": "nix",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1691472822,
        "narHash": "sha256-XVfYZ2oB3lNPVq6sHCY9WkdQ8lHoIDzzbpg8bB6oBxA=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "41c7605718399dcfa53dd7083793b6ae3bc969ff",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-unstable",
        "type": "indirect"
      }
    },
    "nixpkgs-regression": {
      "locked": {
        "lastModified": 1643052045,
        "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
        "type": "github"
      }
    },
    "nixpkgs-regression_2": {
      "locked": {
        "lastModified": 1643052045,
        "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
        "type": "github"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1684385584,
        "narHash": "sha256-O7y0gK8OLIDqz+LaHJJyeu09IGiXlZIS3+JgEzGmmJA=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "48a0fb7aab511df92a17cf239c37f2bd2ec9ae3a",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-unstable",
        "type": "indirect"
      }
    },
    "nixpkgs_3": {
      "locked": {
        "lastModified": 1653988320,
        "narHash": "sha256-ZaqFFsSDipZ6KVqriwM34T739+KLYJvNmCWzErjAg7c=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "2fa57ed190fd6c7c746319444f34b5917666e5c1",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixos-22.05-small",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_4": {
      "locked": {
        "lastModified": 1686089707,
        "narHash": "sha256-LTNlJcru2qJ0XhlhG9Acp5KyjB774Pza3tRH0pKIb3o=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "af21c31b2a1ec5d361ed8050edd0303c31306397",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixpkgs-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_5": {
      "locked": {
        "lastModified": 1659914493,
        "narHash": "sha256-lkA5X3VNMKirvA+SUzvEhfA7XquWLci+CGi505YFAIs=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "022caabb5f2265ad4006c1fa5b1ebe69fb0c3faf",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-21.05",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_6": {
      "locked": {
        "lastModified": 1653988320,
        "narHash": "sha256-ZaqFFsSDipZ6KVqriwM34T739+KLYJvNmCWzErjAg7c=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "2fa57ed190fd6c7c746319444f34b5917666e5c1",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixos-22.05-small",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_7": {
      "locked": {
        "lastModified": 1686089707,
        "narHash": "sha256-LTNlJcru2qJ0XhlhG9Acp5KyjB774Pza3tRH0pKIb3o=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "af21c31b2a1ec5d361ed8050edd0303c31306397",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixpkgs-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "charon": "charon",
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "hacl-nix": "hacl-nix",
        "lake": "lake",
        "lean": "lean_2",
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      }
    },
    "rust-overlay": {
      "inputs": {
        "flake-utils": [
          "charon",
          "crane",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "crane",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1691029059,
        "narHash": "sha256-QwVeE9YTgH3LmL7yw2V/hgswL6yorIvYSp4YGI8lZYM=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "99df4908445be37ddb2d332580365fce512a7dcf",
        "type": "github"
      },
      "original": {
        "owner": "oxalica",
        "repo": "rust-overlay",
        "type": "github"
      }
    },
    "rust-overlay_2": {
      "inputs": {
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1691547503,
        "narHash": "sha256-l0AIKJucygbDFc2vuAkxmFMjNNJImDd7jYahA88/E+o=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "3380f16b39457b49c8186d5e20e7a68ccf4fc96e",
        "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"
      }
    },
    "systems_3": {
      "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
}