diff --git a/flake.lock b/flake.lock index 387555a..ffc1b47 100644 --- a/flake.lock +++ b/flake.lock @@ -33,6 +33,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "lsp-lib", "idris2Lsp", "nixpkgs" @@ -83,6 +84,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "lsp-lib", "idris2Lsp", "alejandra", @@ -216,6 +218,24 @@ "inputs": { "systems": "systems_7" }, + "locked": { + "lastModified": 1710146030, + "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_8": { + "inputs": { + "systems": "systems_8" + }, "locked": { "lastModified": 1705309234, "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=", @@ -271,11 +291,11 @@ ] }, "locked": { - "lastModified": 1734525368, - "narHash": "sha256-m1NcPmw1C4t9HbizKQxKAeRR5lTaKr5UKgpFHyIB7VQ=", + "lastModified": 1739093624, + "narHash": "sha256-Ixg74MBuXNODkjOjulHMEYqrXOXCkhfm6wPqGrjCMW4=", "owner": "idris-lang", "repo": "Idris2", - "rev": "457ca7c6effd66a3f49e721171b142f979bb7406", + "rev": "d9ed15f281d832207cf8154a152cae21b5c0ec16", "type": "github" }, "original": { @@ -396,6 +416,22 @@ "type": "github" } }, + "idris-emacs-src_8": { + "flake": false, + "locked": { + "lastModified": 1666078909, + "narHash": "sha256-oYNHFIpcrFfPb4sXJwEBFKeH+PB4AGCrAFrfBrSTCeo=", + "owner": "redfish64", + "repo": "idris2-mode", + "rev": "3bcb52a65c488f31c99d20f235f6050418a84c9d", + "type": "github" + }, + "original": { + "owner": "redfish64", + "repo": "idris2-mode", + "type": "github" + } + }, "idris2Lsp": { "inputs": { "alejandra": [ @@ -403,8 +439,36 @@ ], "idris": "idris_2", "idris2Lsp": "idris2Lsp_2", + "lspLib": "lspLib_5", + "nixpkgs": [ + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1739111667, + "narHash": "sha256-STfCO3GnLfRqxny2L/98A25oC9LZVCyX8IrH8h5EUis=", + "owner": "idris-community", + "repo": "idris2-lsp", + "rev": "46c6740f1b20b7783e3d03ab4b05437237d17782", + "type": "github" + }, + "original": { + "owner": "idris-community", + "repo": "idris2-lsp", + "type": "github" + } + }, + "idris2Lsp_2": { + "inputs": { + "alejandra": [ + "idris2Lsp", + "alejandra" + ], + "idris": "idris_3", + "idris2Lsp": "idris2Lsp_3", "lspLib": "lspLib_4", "nixpkgs": [ + "idris2Lsp", "nixpkgs" ] }, @@ -422,16 +486,18 @@ "type": "github" } }, - "idris2Lsp_2": { + "idris2Lsp_3": { "inputs": { "alejandra": [ + "idris2Lsp", "idris2Lsp", "alejandra" ], - "idris": "idris_3", - "idris2Lsp": "idris2Lsp_3", + "idris": "idris_4", + "idris2Lsp": "idris2Lsp_4", "lspLib": "lspLib_3", "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "nixpkgs" ] @@ -450,17 +516,19 @@ "type": "github" } }, - "idris2Lsp_3": { + "idris2Lsp_4": { "inputs": { "alejandra": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "alejandra" ], - "idris": "idris_4", - "idris2Lsp": "idris2Lsp_4", + "idris": "idris_5", + "idris2Lsp": "idris2Lsp_5", "lspLib": "lspLib_2", "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "nixpkgs" @@ -480,21 +548,23 @@ "type": "github" } }, - "idris2Lsp_4": { + "idris2Lsp_5": { "inputs": { "alejandra": [ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "alejandra" ], - "idris": "idris_5", - "idris2Lsp": "idris2Lsp_5", + "idris": "idris_6", + "idris2Lsp": "idris2Lsp_6", "lspLib": "lspLib", "nixpkgs": [ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "nixpkgs" ] }, @@ -512,22 +582,24 @@ "type": "github" } }, - "idris2Lsp_5": { + "idris2Lsp_6": { "inputs": { "alejandra": [ "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "alejandra" ], - "idris": "idris_6", + "idris": "idris_7", "lsp-lib": "lsp-lib", "nixpkgs": [ "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "nixpkgs" ] }, @@ -545,10 +617,10 @@ "type": "github" } }, - "idris2Lsp_6": { + "idris2Lsp_7": { "inputs": { "alejandra": "alejandra_2", - "idris": "idris_7", + "idris": "idris_8", "lsp-lib": "lsp-lib_2", "nixpkgs": [ "idris2Lsp", @@ -556,6 +628,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "lsp-lib", "nixpkgs" ] @@ -584,11 +657,11 @@ ] }, "locked": { - "lastModified": 1733093802, - "narHash": "sha256-bUjIOLocDumq6XdJ5mAuS4t3SMht9JKVYZ88BSQSiGs=", + "lastModified": 1734525368, + "narHash": "sha256-m1NcPmw1C4t9HbizKQxKAeRR5lTaKr5UKgpFHyIB7VQ=", "owner": "idris-lang", "repo": "Idris2", - "rev": "d176ab4108a42cd8423466a0e2450e17cc693b7c", + "rev": "457ca7c6effd66a3f49e721171b142f979bb7406", "type": "github" }, "original": { @@ -608,11 +681,11 @@ ] }, "locked": { - "lastModified": 1731023033, - "narHash": "sha256-+w/9HxFMEGjgPy6VCac6ud5hVqd7cwMUpEEjp5CQvZ8=", + "lastModified": 1733093802, + "narHash": "sha256-bUjIOLocDumq6XdJ5mAuS4t3SMht9JKVYZ88BSQSiGs=", "owner": "idris-lang", "repo": "Idris2", - "rev": "fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9", + "rev": "d176ab4108a42cd8423466a0e2450e17cc693b7c", "type": "github" }, "original": { @@ -633,11 +706,11 @@ ] }, "locked": { - "lastModified": 1726357373, - "narHash": "sha256-WGsJRL25W97Bc08rRwrNj3aIxRtW+xpVrPW4o1Tms1Q=", + "lastModified": 1731023033, + "narHash": "sha256-+w/9HxFMEGjgPy6VCac6ud5hVqd7cwMUpEEjp5CQvZ8=", "owner": "idris-lang", "repo": "Idris2", - "rev": "6d02c52102331b225303dbf51781d508eeb06edd", + "rev": "fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9", "type": "github" }, "original": { @@ -659,11 +732,11 @@ ] }, "locked": { - "lastModified": 1719576576, - "narHash": "sha256-aSKhNLCT/DVAF/gT73h3V+qqfpdM5mYtjTgzyaLEuso=", + "lastModified": 1726357373, + "narHash": "sha256-WGsJRL25W97Bc08rRwrNj3aIxRtW+xpVrPW4o1Tms1Q=", "owner": "idris-lang", "repo": "Idris2", - "rev": "57f455d135ded025e33e236fd010f6570c46fc6e", + "rev": "6d02c52102331b225303dbf51781d508eeb06edd", "type": "github" }, "original": { @@ -686,11 +759,11 @@ ] }, "locked": { - "lastModified": 1719329838, - "narHash": "sha256-J/QmVnC7FhFB6OCeGa7tZKrG2rv+ieUxu1JJXLrAL5g=", + "lastModified": 1719576576, + "narHash": "sha256-aSKhNLCT/DVAF/gT73h3V+qqfpdM5mYtjTgzyaLEuso=", "owner": "idris-lang", "repo": "Idris2", - "rev": "3649821625eccc4e08ab357e0dfe27534d993e47", + "rev": "57f455d135ded025e33e236fd010f6570c46fc6e", "type": "github" }, "original": { @@ -704,6 +777,35 @@ "flake-utils": "flake-utils_7", "idris-emacs-src": "idris-emacs-src_7", "nixpkgs": [ + "idris2Lsp", + "idris2Lsp", + "idris2Lsp", + "idris2Lsp", + "idris2Lsp", + "idris2Lsp", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1719329838, + "narHash": "sha256-J/QmVnC7FhFB6OCeGa7tZKrG2rv+ieUxu1JJXLrAL5g=", + "owner": "idris-lang", + "repo": "Idris2", + "rev": "3649821625eccc4e08ab357e0dfe27534d993e47", + "type": "github" + }, + "original": { + "owner": "idris-lang", + "repo": "Idris2", + "type": "github" + } + }, + "idris_8": { + "inputs": { + "flake-utils": "flake-utils_8", + "idris-emacs-src": "idris-emacs-src_8", + "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris2Lsp", @@ -736,15 +838,17 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "idris" ], - "idris2Lsp": "idris2Lsp_6", + "idris2Lsp": "idris2Lsp_7", "nixpkgs": [ "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "nixpkgs" ] }, @@ -770,6 +874,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "lsp-lib", "idris2Lsp", "idris" @@ -780,6 +885,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "lsp-lib", "idris2Lsp", "nixpkgs" @@ -806,6 +912,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "idris" ], "idris2Lsp": [ @@ -813,6 +920,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "idris2Lsp" ], "nixpkgs": [ @@ -820,6 +928,7 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "nixpkgs" ] }, @@ -843,18 +952,21 @@ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "idris" ], "idris2Lsp": [ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "idris2Lsp" ], "nixpkgs": [ "idris2Lsp", "idris2Lsp", "idris2Lsp", + "idris2Lsp", "nixpkgs" ] }, @@ -875,16 +987,19 @@ "lspLib_3": { "inputs": { "idris": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris" ], "idris2Lsp": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris2Lsp" ], "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "nixpkgs" @@ -907,14 +1022,17 @@ "lspLib_4": { "inputs": { "idris": [ + "idris2Lsp", "idris2Lsp", "idris" ], "idris2Lsp": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp" ], "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "nixpkgs" ] @@ -934,6 +1052,35 @@ } }, "lspLib_5": { + "inputs": { + "idris": [ + "idris2Lsp", + "idris" + ], + "idris2Lsp": [ + "idris2Lsp", + "idris2Lsp" + ], + "nixpkgs": [ + "idris2Lsp", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1733093814, + "narHash": "sha256-vq9hueMpPZ+WA46lUkIXk3BPf3dL+nM+f80UDBOfdFA=", + "owner": "idris-community", + "repo": "LSP-lib", + "rev": "8ff3a886c0dc41a9eebea6ec5956349752d29714", + "type": "github" + }, + "original": { + "owner": "idris-community", + "repo": "LSP-lib", + "type": "github" + } + }, + "lspLib_6": { "inputs": { "idris": [ "idris" @@ -961,11 +1108,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1735182911, - "narHash": "sha256-aQ5kNzAFdAozUBdEtxtOZDrG0XX/7EPezJS0rM7zbUc=", + "lastModified": 1739142371, + "narHash": "sha256-Vx9juZfHCxuCSmKsp2qHYq9LhAadyG4GsbyOlKkTC0U=", "owner": "nixos", "repo": "nixpkgs", - "rev": "354e6458a997dbc287b32bbd38d64721fb7d2a6d", + "rev": "24f7710cb6f93eb084568c3061a26a5a230022e8", "type": "github" }, "original": { @@ -979,7 +1126,7 @@ "alejandra": "alejandra", "idris": "idris", "idris2Lsp": "idris2Lsp", - "lspLib": "lspLib_5", + "lspLib": "lspLib_6", "nixpkgs": "nixpkgs" } }, @@ -1121,6 +1268,21 @@ "repo": "default", "type": "github" } + }, + "systems_8": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "owner": "nix-systems", + "repo": "default", + "type": "github" + } } }, "root": "root",