Download flake.lock from AProver/aprover: direct link, hf CLI and curl.
- Browser
- Download file 8.91 kB
-
https://huggingface.co/spaces/AProver/aprover/resolve/main/flake.lock
- Command line
-
hf download hf://spaces/AProver/aprover/flake.lock
-
curl -L -o flake.lock https://huggingface.co/spaces/AProver/aprover/resolve/main/flake.lock
8.91 kB
| { | |
| "nodes": { | |
| "devshell": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1768818222, | |
| "narHash": "sha256-460jc0+CZfyaO8+w8JNtlClB2n4ui1RbHfPTLkpwhU8=", | |
| "owner": "numtide", | |
| "repo": "devshell", | |
| "rev": "255a2b1725a20d060f566e4755dbf571bbbb5f76", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "numtide", | |
| "repo": "devshell", | |
| "type": "github" | |
| } | |
| }, | |
| "fenix": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ], | |
| "rust-analyzer-src": "rust-analyzer-src" | |
| }, | |
| "locked": { | |
| "lastModified": 1782036485, | |
| "narHash": "sha256-ZnsNxobD7iHArxSYWHW7xhRq61kNGHtalYObLyTuOJ8=", | |
| "owner": "nix-community", | |
| "repo": "fenix", | |
| "rev": "dd2c80d0b88463ccc0402c86e9e72dbb354ac091", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "nix-community", | |
| "repo": "fenix", | |
| "type": "github" | |
| } | |
| }, | |
| "flake-compat": { | |
| "flake": false, | |
| "locked": { | |
| "lastModified": 1761640442, | |
| "narHash": "sha256-AtrEP6Jmdvrqiv4x2xa5mrtaIp3OEe8uBYCDZDS+hu8=", | |
| "owner": "nix-community", | |
| "repo": "flake-compat", | |
| "rev": "4a56054d8ffc173222d09dad23adf4ba946c8884", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "nix-community", | |
| "repo": "flake-compat", | |
| "type": "github" | |
| } | |
| }, | |
| "flake-parts": { | |
| "inputs": { | |
| "nixpkgs-lib": [ | |
| "nixpkgs" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1778716662, | |
| "narHash": "sha256-m1Yf0wZ8j1OHjTc2UwHwyQRSnNeSgLJOd7q5Y45hzi4=", | |
| "owner": "hercules-ci", | |
| "repo": "flake-parts", | |
| "rev": "f7c1a2d347e4c52d5fb8d10cb4d94b5884e546fb", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "hercules-ci", | |
| "repo": "flake-parts", | |
| "type": "github" | |
| } | |
| }, | |
| "flake-root": { | |
| "locked": { | |
| "lastModified": 1723604017, | |
| "narHash": "sha256-rBtQ8gg+Dn4Sx/s+pvjdq3CB2wQNzx9XGFq/JVGCB6k=", | |
| "owner": "srid", | |
| "repo": "flake-root", | |
| "rev": "b759a56851e10cb13f6b8e5698af7b59c44be26e", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "srid", | |
| "repo": "flake-root", | |
| "type": "github" | |
| } | |
| }, | |
| "git-hooks-nix": { | |
| "inputs": { | |
| "flake-compat": [ | |
| "flake-compat" | |
| ], | |
| "gitignore": "gitignore", | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1778507602, | |
| "narHash": "sha256-kTwur1wV+01SdqskVMSo6JMEpg71ps3HpbFY2GsflKs=", | |
| "owner": "cachix", | |
| "repo": "git-hooks.nix", | |
| "rev": "61ab0e80d9c7ab14c256b5b453d8b3fb0189ba0a", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "cachix", | |
| "repo": "git-hooks.nix", | |
| "type": "github" | |
| } | |
| }, | |
| "gitignore": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "git-hooks-nix", | |
| "nixpkgs" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1709087332, | |
| "narHash": "sha256-HG2cCnktfHsKV0s4XW83gU3F57gaTljL9KNSuG6bnQs=", | |
| "owner": "hercules-ci", | |
| "repo": "gitignore.nix", | |
| "rev": "637db329424fd7e46cf4185293b9cc8c88c95394", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "hercules-ci", | |
| "repo": "gitignore.nix", | |
| "type": "github" | |
| } | |
| }, | |
| "microvm": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ], | |
| "spectrum": "spectrum" | |
| }, | |
| "locked": { | |
| "lastModified": 1781738058, | |
| "narHash": "sha256-wgKY6pbZbFpBXae+8bjvJtW1Z9qekZergGly44n2qZw=", | |
| "owner": "microvm-nix", | |
| "repo": "microvm.nix", | |
| "rev": "225b35c204e29efb5bbe9b55b1a38b07b3fca2af", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "microvm-nix", | |
| "repo": "microvm.nix", | |
| "type": "github" | |
| } | |
| }, | |
| "nix-fast-build": { | |
| "inputs": { | |
| "flake-parts": [ | |
| "flake-parts" | |
| ], | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ], | |
| "treefmt-nix": [ | |
| "treefmt-nix" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1780835871, | |
| "narHash": "sha256-qXJoQfe00CYhER4Jh3ZVBNEwEOH9s3mt7LZ5EAVbtEY=", | |
| "owner": "Mic92", | |
| "repo": "nix-fast-build", | |
| "rev": "988fe2285048387db5e16620e83ca8fa6c5b57ef", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "Mic92", | |
| "repo": "nix-fast-build", | |
| "type": "github" | |
| } | |
| }, | |
| "nixpkgs": { | |
| "locked": { | |
| "lastModified": 1780930886, | |
| "narHash": "sha256-rppURzHviaQN131F+nLiLdGfcb0uCd9gGP0E5+iw9MI=", | |
| "owner": "NixOS", | |
| "repo": "nixpkgs", | |
| "rev": "8c3cede7ddc26bd659d2d383b5610efbd2c7a16e", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "NixOS", | |
| "ref": "nixpkgs-unstable", | |
| "repo": "nixpkgs", | |
| "type": "github" | |
| } | |
| }, | |
| "pyproject-build-systems": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ], | |
| "pyproject-nix": [ | |
| "pyproject-nix" | |
| ], | |
| "uv2nix": [ | |
| "uv2nix" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1779676664, | |
| "narHash": "sha256-MbXylBTkWqVm8/VYjoULtMoVRgWBN1gSHbeRKsOsPlU=", | |
| "owner": "pyproject-nix", | |
| "repo": "build-system-pkgs", | |
| "rev": "7bff980f37fc24e09dbc986643719900c139bf12", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "pyproject-nix", | |
| "repo": "build-system-pkgs", | |
| "type": "github" | |
| } | |
| }, | |
| "pyproject-nix": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1781585874, | |
| "narHash": "sha256-T4e8kqZ/fsuqYWbcXDcr0EBLClh3VRKVV1XcL/ibf3A=", | |
| "owner": "pyproject-nix", | |
| "repo": "pyproject.nix", | |
| "rev": "112aebcc00ecf20d48a5c08e80660a6852a4707a", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "pyproject-nix", | |
| "repo": "pyproject.nix", | |
| "type": "github" | |
| } | |
| }, | |
| "root": { | |
| "inputs": { | |
| "devshell": "devshell", | |
| "fenix": "fenix", | |
| "flake-compat": "flake-compat", | |
| "flake-parts": "flake-parts", | |
| "flake-root": "flake-root", | |
| "git-hooks-nix": "git-hooks-nix", | |
| "microvm": "microvm", | |
| "nix-fast-build": "nix-fast-build", | |
| "nixpkgs": "nixpkgs", | |
| "pyproject-build-systems": "pyproject-build-systems", | |
| "pyproject-nix": "pyproject-nix", | |
| "treefmt-nix": "treefmt-nix", | |
| "uv2nix": "uv2nix" | |
| } | |
| }, | |
| "rust-analyzer-src": { | |
| "flake": false, | |
| "locked": { | |
| "lastModified": 1781975540, | |
| "narHash": "sha256-ODHXraP8Sobq7inJ7HqS7PR6/7cuNwQAaeCV+HmbSj0=", | |
| "owner": "rust-lang", | |
| "repo": "rust-analyzer", | |
| "rev": "c229d592b2cc38511c016ab2abaa6e3d1b9faa90", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "rust-lang", | |
| "ref": "nightly", | |
| "repo": "rust-analyzer", | |
| "type": "github" | |
| } | |
| }, | |
| "spectrum": { | |
| "flake": false, | |
| "locked": { | |
| "lastModified": 1778940603, | |
| "narHash": "sha256-voSM8dZNlaOWN3kbYFky+FNY6fFQOEw0xF+ZMpZKkCQ=", | |
| "ref": "refs/heads/main", | |
| "rev": "367dd227f539267eae2b62770b4c17b88ac8c1f1", | |
| "revCount": 1265, | |
| "type": "git", | |
| "url": "https://spectrum-os.org/git/spectrum" | |
| }, | |
| "original": { | |
| "type": "git", | |
| "url": "https://spectrum-os.org/git/spectrum" | |
| } | |
| }, | |
| "treefmt-nix": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1780220602, | |
| "narHash": "sha256-eynAfOmbmxJnkp7YewvCEbShNnnYJ9gLLqkzsYtBPeM=", | |
| "owner": "numtide", | |
| "repo": "treefmt-nix", | |
| "rev": "db947814a175b7ca6ded66e21383d938df01c227", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "numtide", | |
| "repo": "treefmt-nix", | |
| "type": "github" | |
| } | |
| }, | |
| "uv2nix": { | |
| "inputs": { | |
| "nixpkgs": [ | |
| "nixpkgs" | |
| ], | |
| "pyproject-nix": [ | |
| "pyproject-nix" | |
| ] | |
| }, | |
| "locked": { | |
| "lastModified": 1781596548, | |
| "narHash": "sha256-dhc1zBhYJbafsflK31g5+P+iot/saZPa/nUpcRkZui0=", | |
| "owner": "pyproject-nix", | |
| "repo": "uv2nix", | |
| "rev": "ec7b3fd86a8add8c546192ad5d66dade40d21e48", | |
| "type": "github" | |
| }, | |
| "original": { | |
| "owner": "pyproject-nix", | |
| "repo": "uv2nix", | |
| "type": "github" | |
| } | |
| } | |
| }, | |
| "root": "root", | |
| "version": 7 | |
| } | |