mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
750ffea1dd
Provision: lean-lsp-mcp (8765/8766), pylsp (8767), ollama (11434) Services: systemd units for Lean 4.19.0, 4.30.0-rc2, Python LSP, Ollama Packages: elan, uv, texliveFull, octave, typst, docker, nix-ld Hardware: Ampere ARM64, 64GB RAM, 18 cores, 2TB disk Build: nix build .#packages.aarch64-linux.lean-lsp-mcp
44 lines
1 KiB
JSON
44 lines
1 KiB
JSON
{
|
|
"nodes": {
|
|
"nixpkgs": {
|
|
"locked": {
|
|
"lastModified": 1779796641,
|
|
"narHash": "sha256-ZsIrKmhp4vbBXoXXmR/tBXA/UCsAQiJL9vsgZEduhVY=",
|
|
"owner": "NixOS",
|
|
"repo": "nixpkgs",
|
|
"rev": "25f538306313eae3927264466c70d7001dcea1df",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "NixOS",
|
|
"ref": "nixos-25.11",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"nixpkgs-stable": {
|
|
"locked": {
|
|
"lastModified": 1751274312,
|
|
"narHash": "sha256-/bVBlRpECLVzjV19t5KMdMFWSwKLtb5RyXdjz3LJT+g=",
|
|
"owner": "NixOS",
|
|
"repo": "nixpkgs",
|
|
"rev": "50ab793786d9de88ee30ec4e4c24fb4236fc2674",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "NixOS",
|
|
"ref": "nixos-24.11",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"root": {
|
|
"inputs": {
|
|
"nixpkgs": "nixpkgs",
|
|
"nixpkgs-stable": "nixpkgs-stable"
|
|
}
|
|
}
|
|
},
|
|
"root": "root",
|
|
"version": 7
|
|
}
|