| { | |
| "nodes": { | |
| "flake-utils": { | |
| "locked": { | |
| "lastModified": 1656928814, | |
| "narHash": "sha256-RIFfgBuKz6Hp89yRr7+NR5tzIAbn52h8vT6vXkYjZoM=", | |
| "owner": "numtide", | |
| "repo": "flake-utils", | |
| "rev": "7e2a3b3dfd9af950a856d66b0a7d01e3c18aa249", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "numtide", | |
| "repo": "flake-utils", | |
| "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" | |
| } | |
| }, | |
| "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" | |
| } | |
| }, | |
| "nix": { | |
| "inputs": { | |
| "lowdown-src": "lowdown-src", | |
| "nixpkgs": "nixpkgs", | |
| "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" | |
| } | |
| }, | |
| "nixpkgs": { | |
| "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-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_2": { | |
| "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": { | |
| "flake-utils": "flake-utils", | |
| "lean4-mode": "lean4-mode", | |
| "nix": "nix", | |
| "nixpkgs": "nixpkgs_2" | |
| } | |
| } | |
| }, | |
| "root": "root", | |
| "version": 7 | |
| } |