| { | |
| "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": 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" | |
| } | |
| }, | |
| "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 | |
| } |