idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-10-26 14:09:09 +03:00
Code Issues Projects Releases Wiki Activity

Update flake

Browse Source
This commit is contained in:
Nicolas Biri 2022-12-24 09:04:38 +01:00 committed by Mathew Polzin
parent 63a22b819d
commit f630675cfb
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
flake.lock
View File

@ -2,11 +2,11 @@
"nodes": { "nodes": {
"flake-utils": { "flake-utils": {
"locked": { "locked": {
"lastModified": 1659877975, "lastModified": 1667395993,
"narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=", "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=",
"owner": "numtide", "owner": "numtide",
"repo": "flake-utils", "repo": "flake-utils",
"rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0", "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -18,11 +18,11 @@
"idris-emacs-src": { "idris-emacs-src": {
"flake": false, "flake": false,
"locked": { "locked": {
"lastModified": 1658380032, "lastModified": 1666078909,
"narHash": "sha256-w6/A0TcSyunLzGYztaWOVsnXasLmc0jfS1Hv6AG52Bk=", "narHash": "sha256-oYNHFIpcrFfPb4sXJwEBFKeH+PB4AGCrAFrfBrSTCeo=",
"owner": "redfish64", "owner": "redfish64",
"repo": "idris2-mode", "repo": "idris2-mode",
"rev": "23618a1debaa4f5f2cfbe3200d63e09e626be61a", "rev": "3bcb52a65c488f31c99d20f235f6050418a84c9d",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -33,11 +33,11 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1666716150, "lastModified": 1671864851,
"narHash": "sha256-8SQTQmxjC97S7nvXBDQ55UH8LpzO1qTcrO+4B+qgDT4=", "narHash": "sha256-Z3L5MSWOyTdVTIVBrLEh2HwgDYGcqf1gnGYFx+7gb/k=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "be7042a040463c4a03b0b1fdfce4cf7db7f7cd01", "rev": "27392c3cb3ddc39123426aa88fe186aa0ea1c253",
"type": "github" "type": "github"
}, },
"original": { "original": {