| { | |
| "nodes": { | |
| "flake-utils": { | |
| "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-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": 1617481909, | |
| "narHash": "sha256-SqnfOFuLuVRRNeVJr1yeEPJue/qWoCp5N6o5Kr///p4=", | |
| "owner": "kristapsdz", | |
| "repo": "lowdown", | |
| "rev": "148f9b2f586c41b7e36e73009db43ea68c7a1a4d", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "kristapsdz", | |
| "ref": "VERSION_0_8_4", | |
| "repo": "lowdown", | |
| "type": "github" | |
| } | |
| }, | |
| "mdBook": { | |
| "flake": false, | |
| "locked": { | |
| "lastModified": 1609794365, | |
| "narHash": "sha256-Pgyqio1nHMtIPsf+WpHDdRROTGW0TJhFq84r6CTuQhU=", | |
| "owner": "leanprover", | |
| "repo": "mdBook", | |
| "rev": "b8c62e63014bf51ab78c04fcd272e872157623ff", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "leanprover", | |
| "repo": "mdBook", | |
| "type": "github" | |
| } | |
| }, | |
| "nix": { | |
| "inputs": { | |
| "lowdown-src": "lowdown-src", | |
| "nixpkgs": "nixpkgs" | |
| }, | |
| "locked": { | |
| "lastModified": 1627913633, | |
| "narHash": "sha256-vwj1fAGn3Pl9Vr/qSL+oDxuwbRzEdI3dsEg6o3xTmWg=", | |
| "owner": "NixOS", | |
| "repo": "nix", | |
| "rev": "47e96bb533f8cacc171bec9b688b134de31a48a9", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "NixOS", | |
| "repo": "nix", | |
| "type": "github" | |
| } | |
| }, | |
| "nixpkgs": { | |
| "locked": { | |
| "lastModified": 1624862269, | |
| "narHash": "sha256-JFcsh2+7QtfKdJFoPibLFPLgIW6Ycnv8Bts9a7RYme0=", | |
| "owner": "NixOS", | |
| "repo": "nixpkgs", | |
| "rev": "f77036342e2b690c61c97202bf48f2ce13acc022", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "id": "nixpkgs", | |
| "ref": "nixos-21.05-small", | |
| "type": "indirect" | |
| } | |
| }, | |
| "nixpkgs_2": { | |
| "locked": { | |
| "lastModified": 1628085532, | |
| "narHash": "sha256-X639O/RVYRdasl+nYR80KCn5OqTNdeDfvsYECtSZVLQ=", | |
| "owner": "NixOS", | |
| "repo": "nixpkgs", | |
| "rev": "f6ccdfcd2ac4f2e259d20e378737dcbd0ca7debe", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "NixOS", | |
| "ref": "nixpkgs-unstable", | |
| "repo": "nixpkgs", | |
| "type": "github" | |
| } | |
| }, | |
| "root": { | |
| "inputs": { | |
| "flake-utils": "flake-utils", | |
| "lean-stage0": "lean-stage0", | |
| "mdBook": "mdBook", | |
| "nix": "nix", | |
| "nixpkgs": "nixpkgs_2", | |
| "temci": "temci" | |
| } | |
| }, | |
| "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 | |
| } |