Idris2/flake.lock

60 lines
1.5 KiB
Plaintext
Raw Normal View History

2021-01-15 20:20:52 +03:00
{
"nodes": {
2021-03-15 17:21:50 +03:00
"flake-utils": {
"locked": {
2021-12-24 15:36:54 +03:00
"lastModified": 1638122382,
"narHash": "sha256-sQzZzAbvKEqN9s0bzWuYmRaA03v40gaJ4+iL1LXjaeI=",
2021-03-15 17:21:50 +03:00
"owner": "numtide",
"repo": "flake-utils",
2021-12-24 15:36:54 +03:00
"rev": "74f7e4319258e287b0f9cb95426c9853b282730b",
2021-03-15 17:21:50 +03:00
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
"idris-emacs-src": {
"flake": false,
"locked": {
2021-12-24 15:36:54 +03:00
"lastModified": 1640162726,
"narHash": "sha256-blfl73dUC3dagL6PIK2+0979DGH4ZnMMHsd6U1yD+LM=",
2021-03-15 17:21:50 +03:00
"owner": "redfish64",
"repo": "idris2-mode",
2021-12-24 15:36:54 +03:00
"rev": "f56118aa09f5562815d3295d2fd160152bdef967",
2021-03-15 17:21:50 +03:00
"type": "github"
},
"original": {
"owner": "redfish64",
"repo": "idris2-mode",
"type": "github"
}
},
2021-01-15 20:20:52 +03:00
"nixpkgs": {
"locked": {
2021-12-24 15:36:54 +03:00
"lastModified": 1640348409,
"narHash": "sha256-TrV1MmmwqkWvnDUoHMeJ4el3yRsz/ryz+PoE7iAR2Xw=",
2021-01-15 20:20:52 +03:00
"owner": "NixOS",
"repo": "nixpkgs",
2021-12-24 15:36:54 +03:00
"rev": "ec9e6999fe6cb53d15caca2bfb1abf8e708f22b2",
2021-01-15 20:20:52 +03:00
"type": "github"
},
"original": {
2021-12-24 15:36:54 +03:00
"owner": "NixOS",
"repo": "nixpkgs",
"type": "github"
}
},
2021-01-15 20:20:52 +03:00
"root": {
"inputs": {
2021-03-15 17:21:50 +03:00
"flake-utils": "flake-utils",
"idris-emacs-src": "idris-emacs-src",
2021-12-24 15:36:54 +03:00
"nixpkgs": "nixpkgs"
2021-01-15 20:20:52 +03:00
}
}
},
"root": "root",
"version": 7
}