{
  "nodes": {
    "charon": {
      "inputs": {
        "crane": "crane",
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs",
        "rust-overlay": "rust-overlay_2"
      },
      "locked": {
        "lastModified": 1683659996,
        "narHash": "sha256-fgUHjKclaxwHr2fmQEblEwa3AG01oti2mtgc/IvnzQY=",
        "owner": "aeneasverif",
        "repo": "charon",
        "rev": "1216ba9de82030adcf75ed894bca60624b8229a5",
        "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": 1683505101,
        "narHash": "sha256-VBU64Jfu2V4sUR5+tuQS9erBRAe/QEYUxdVMcJGMZZs=",
        "owner": "ipetkov",
        "repo": "crane",
        "rev": "7b5bd9e5acb2bb0cfba2d65f34d8568a894cdb6c",
        "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": 1681202837,
        "narHash": "sha256-H+Rh19JDwRtpVPAWp64F+rlEtxUWBAQW28eAi3SRSzg=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "cfacdce06f30d2b68473a46042957675eebb3401",
        "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"
      }
    },
    "flake-utils_3": {
      "inputs": {
        "systems": "systems_2"
      },
      "locked": {
        "lastModified": 1685518550,
        "narHash": "sha256-o2d0KcvaXzTrPRIo0kOLV0/QXHhDQ5DTi+OxcjO8xqY=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "a1720a10a6cfe8234c0e93907ffe81be440f4cef",
        "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": 1683934850,
        "narHash": "sha256-qGN5BdNNsM4TFzYTajIdj5Cm84X5WlP41gB9VLIhSxc=",
        "owner": "fstarlang",
        "repo": "fstar",
        "rev": "2c89426093d3a883d08ce9a60ac4539f6f1df1aa",
        "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": 1683838937,
        "narHash": "sha256-GCtSeDEISmp1+m4J8WNosa8zzqxyVPw7e5z/oBgn3lg=",
        "owner": "hacl-star",
        "repo": "hacl-star",
        "rev": "3e283efd721ceff6fc11eef4c4908662287a6ff9",
        "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": 1683940878,
        "narHash": "sha256-XxhR8jI5oF/gce3MCgmzcSkNGzeZXJeP1gfgWfo9p8A=",
        "owner": "hacl-star",
        "repo": "hacl-nix",
        "rev": "a4e4322d2e51b1f8050dd292609e8afbf56d1235",
        "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": 1683133881,
        "narHash": "sha256-dSAuF9gVDxsolPOS6h7Z5iL04KK69VJkhq7xNtCL0KQ=",
        "owner": "fstarlang",
        "repo": "karamel",
        "rev": "8cf8b4e569f5690c51a5954695dcb7fc622cf77b",
        "type": "github"
      },
      "original": {
        "owner": "fstarlang",
        "repo": "karamel",
        "type": "github"
      }
    },
    "lake": {
      "inputs": {
        "flake-utils": "flake-utils_3",
        "lean": "lean",
        "nixpkgs": "nixpkgs_5"
      },
      "locked": {
        "lastModified": 1681922867,
        "narHash": "sha256-pW9jfrL8HGTdrrfD/rU/b148648enJRt3nvCx+vbuDc=",
        "owner": "leanprover",
        "repo": "lake",
        "rev": "6544bc7e102eaaaed6d727ef61d78fc194deaf4c",
        "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": 1685538626,
        "narHash": "sha256-R4sJ/w2sBSJmF1p4SHuqh00QXf+Bjxvujdex0s4QHXM=",
        "owner": "leanprover",
        "repo": "lean4",
        "rev": "28538fc74889ea2dedbc30e236ce26492e5823ca",
        "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": 1685538626,
        "narHash": "sha256-R4sJ/w2sBSJmF1p4SHuqh00QXf+Bjxvujdex0s4QHXM=",
        "owner": "leanprover",
        "repo": "lean4",
        "rev": "28538fc74889ea2dedbc30e236ce26492e5823ca",
        "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": 1683408522,
        "narHash": "sha256-9kcPh6Uxo17a3kK3XCHhcWiV1Yu1kYj22RHiymUhMkU=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "897876e4c484f1e8f92009fd11b7d988a121a4e7",
        "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": 1669140675,
        "narHash": "sha256-npzfyfLECsJWgzK/M4gWhykP2DNAJTYjgY2BWkz/oEQ=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "2788904d26dda6cfa1921c5abb7a2466ffe3cb8c",
        "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": 1657208011,
        "narHash": "sha256-BlIFwopAykvdy1DYayEkj6ZZdkn+cVgPNX98QVLc0jM=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "2770cc0b1e8faa0e20eb2c6aea64c256a706d4f2",
        "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": 1657208011,
        "narHash": "sha256-BlIFwopAykvdy1DYayEkj6ZZdkn+cVgPNX98QVLc0jM=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "2770cc0b1e8faa0e20eb2c6aea64c256a706d4f2",
        "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": 1683080331,
        "narHash": "sha256-nGDvJ1DAxZIwdn6ww8IFwzoHb2rqBP4wv/65Wt5vflk=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "d59c3fa0cba8336e115b376c2d9e91053aa59e56",
        "type": "github"
      },
      "original": {
        "owner": "oxalica",
        "repo": "rust-overlay",
        "type": "github"
      }
    },
    "rust-overlay_2": {
      "inputs": {
        "flake-utils": [
          "charon",
          "flake-utils"
        ],
        "nixpkgs": [
          "charon",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1683598806,
        "narHash": "sha256-L0tcBTcF6QzFFvWbXO2TXlBszAvxvm3zblYe0iUF/Yk=",
        "owner": "oxalica",
        "repo": "rust-overlay",
        "rev": "0cef0c3ed57980dc9a8b916e6b596d7f2f6d34f1",
        "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
}