flake.lock

{
  "nodes": {
    "flake-utils": {
      "locked": {
        "lastModified": 1667395993,
        "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f",
        "type": "github"
      },
      "original": {
        "id": "flake-utils",
        "type": "indirect"
      }
    },
    "fstar-flake": {
      "inputs": {
        "flake-utils": "flake-utils",
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1677018370,
        "narHash": "sha256-OvEy4lgPGkQZGaEmj9fOeyxvsssdWpGetvdTK2H0Ij0=",
        "owner": "FStarLang",
        "repo": "FStar",
        "rev": "eb911fc41d5ba730c15f2ac296ffc5ebf7b46560",
        "type": "github"
      },
      "original": {
        "owner": "FStarLang",
        "repo": "FStar",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1677655566,
        "narHash": "sha256-I8G8Lmpp3YduYl4+pkiIJFGT1WKw+8ZMH2QwANkTu2U=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "ae8bdd2de4c23b239b5a771501641d2ef5e027d0",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "type": "indirect"
      }
    },
    "root": {
      "inputs": {
        "fstar-flake": "fstar-flake",
        "nixpkgs": "nixpkgs"
      }
    }
  },
  "root": "root",
  "version": 7
}