mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
28 lines
569 B
JSON
28 lines
569 B
JSON
{
|
|
"nodes": {
|
|
"nixpkgs": {
|
|
"locked": {
|
|
"lastModified": 1600913051,
|
|
"narHash": "sha256-9PDPLwaZ/QzafO3M/yCeGWraI20fJNnGz7nzAfZsDes=",
|
|
"owner": "NixOS",
|
|
"repo": "nixpkgs",
|
|
"rev": "dfd2eeabd6e1be22676dac26854a2de21c3d4c87",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "NixOS",
|
|
"ref": "nixpkgs-unstable",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"root": {
|
|
"inputs": {
|
|
"nixpkgs": "nixpkgs"
|
|
}
|
|
}
|
|
},
|
|
"root": "root",
|
|
"version": 7
|
|
}
|