{
  "nodes": {
    "flake-utils": {
      "locked": {
        "lastModified": 1634851050,
        "narHash": "sha256-N83GlSGPJJdcqhUxSCS/WwW5pksYf3VP1M13cDRTSVA=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "c91f3de5adaf1de973b797ef7485e441a65b8935",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_2": {
      "locked": {
        "lastModified": 1623875721,
        "narHash": "sha256-A8BU7bjS5GirpAUv4QA+QnJ4CceLHkcXdRp4xITDB0s=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "f7e004a55b120c02ecb6219596820fcd32ca8772",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "lean": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "lean-stage0": "lean-stage0",
        "mdBook": "mdBook",
        "nix": "nix",
        "nixpkgs": "nixpkgs_2",
        "temci": "temci"
      },
      "locked": {
        "lastModified": 1635858223,
        "narHash": "sha256-kUNQsQtKpxcTE12ZfQ2jtSDxN5C5z24OY8NtJTsYJjw=",
        "owner": "yatima-inc",
        "repo": "lean4",
        "rev": "3880bbb13bbc0ebcb6930fa54f088c5045a098bd",
        "type": "github"
      },
      "original": {
        "owner": "yatima-inc",
        "ref": "acs/add-nix-ability-for-native-libs",
        "repo": "lean4",
        "type": "github"
      }
    },
    "lean-stage0": {
      "locked": {
        "lastModified": 0,
        "narHash": "sha256-3K/43lSW4WIHNG+HHVKCD1odS63mHuaQ4ueHyTIkcls=",
        "owner": "leanprover",
        "repo": "lean4",
        "rev": "0000000000000000000000000000000000000000",
        "type": "github"
      },
      "original": {
        "owner": "leanprover",
        "repo": "lean4",
        "type": "github"
      }
    },
    "lowdown-src": {
      "flake": false,
      "locked": {
        "lastModified": 1632391204,
        "narHash": "sha256-zjyNA4ZmaaIbbmz2JZDqMgY7+P/uGF0nLg28Nxfg5kI=",
        "owner": "kristapsdz",
        "repo": "lowdown",
        "rev": "0b85e777f3cdacf4210f0d624a0ceec8df612e05",
        "type": "github"
      },
      "original": {
        "owner": "kristapsdz",
        "repo": "lowdown",
        "type": "github"
      }
    },
    "mdBook": {
      "flake": false,
      "locked": {
        "lastModified": 1632991543,
        "narHash": "sha256-Ht6aDdT5w2eEeX8Nf5kYt2/djbjDTiN0hwJBMZ91STo=",
        "owner": "leanprover",
        "repo": "mdBook",
        "rev": "d97081c547e96b41a9a16197882127e7e8917a3d",
        "type": "github"
      },
      "original": {
        "owner": "leanprover",
        "repo": "mdBook",
        "type": "github"
      }
    },
    "nix": {
      "inputs": {
        "lowdown-src": "lowdown-src",
        "nixpkgs": "nixpkgs"
      },
      "locked": {
        "lastModified": 1632746661,
        "narHash": "sha256-dT1hMi1Z8KQlFL589viU04vWEXpioUc3m7YGWRVwVbo=",
        "owner": "NixOS",
        "repo": "nix",
        "rev": "9c766a40cbbd3a350a9582d0fd8201e3361a63b2",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "repo": "nix",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1628689438,
        "narHash": "sha256-YMINW6YmubHZVdliGsAJpnnMYXRrvppv59LgwtnyYhs=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "f6551e1efa261568c82b76c3a582b2c2ceb1f53f",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "nixos-21.05-small",
        "type": "indirect"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1633329294,
        "narHash": "sha256-0LpQLS4KMgxslMgmDHmxG/5twFlXDBW9z4Or1iOrCvU=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "ee084c02040e864eeeb4cf4f8538d92f7c675671",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixpkgs-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_3": {
      "locked": {
        "lastModified": 1635719588,
        "narHash": "sha256-pWjdy0NheM97NsPE6+jUnr5LYyeA0sBGTdw4mfXMGZQ=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "f0869b1a2c0b150aac26e10bb5c2364ffb2e804f",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-21.05",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "flake-utils": "flake-utils",
        "lean": "lean",
        "nixpkgs": "nixpkgs_3"
      }
    },
    "temci": {
      "flake": false,
      "locked": {
        "lastModified": 1626860219,
        "narHash": "sha256-rFJb+M3ru2shqxpsZfiAFLFfc38dFaF7u2T88pvG14M=",
        "owner": "parttimenerd",
        "repo": "temci",
        "rev": "fe4f47173a27cf75f734502fcb88d3d0a3860dca",
        "type": "github"
      },
      "original": {
        "owner": "parttimenerd",
        "repo": "temci",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}