mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-17 16:27:52 +03:00
60 lines
1.5 KiB
JSON
60 lines
1.5 KiB
JSON
{
|
|
"nodes": {
|
|
"flake-utils": {
|
|
"locked": {
|
|
"lastModified": 1659877975,
|
|
"narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"idris-emacs-src": {
|
|
"flake": false,
|
|
"locked": {
|
|
"lastModified": 1658380032,
|
|
"narHash": "sha256-w6/A0TcSyunLzGYztaWOVsnXasLmc0jfS1Hv6AG52Bk=",
|
|
"owner": "redfish64",
|
|
"repo": "idris2-mode",
|
|
"rev": "23618a1debaa4f5f2cfbe3200d63e09e626be61a",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "redfish64",
|
|
"repo": "idris2-mode",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"nixpkgs": {
|
|
"locked": {
|
|
"lastModified": 1666716150,
|
|
"narHash": "sha256-8SQTQmxjC97S7nvXBDQ55UH8LpzO1qTcrO+4B+qgDT4=",
|
|
"owner": "NixOS",
|
|
"repo": "nixpkgs",
|
|
"rev": "be7042a040463c4a03b0b1fdfce4cf7db7f7cd01",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "NixOS",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"root": {
|
|
"inputs": {
|
|
"flake-utils": "flake-utils",
|
|
"idris-emacs-src": "idris-emacs-src",
|
|
"nixpkgs": "nixpkgs"
|
|
}
|
|
}
|
|
},
|
|
"root": "root",
|
|
"version": 7
|
|
}
|