From 38df36e89cd87700559d97b797eb6102a4b59add Mon Sep 17 00:00:00 2001 From: Mathew Polzin Date: Fri, 8 Nov 2024 00:13:20 -0600 Subject: [PATCH] update Idris2 dependency --- Idris2 | 2 +- flake.lock | 180 +++++++++++++++++++++++++++++++++++++++++++++++------ 2 files changed, 163 insertions(+), 19 deletions(-) diff --git a/Idris2 b/Idris2 index 57f455d..fc3d2a0 160000 --- a/Idris2 +++ b/Idris2 @@ -1 +1 @@ -Subproject commit 57f455d135ded025e33e236fd010f6570c46fc6e +Subproject commit fc3d2a04dcd7571b8f736ee24b0fd25eefa408e9 diff --git a/flake.lock b/flake.lock index aa8f1c5..4db2cca 100644 --- a/flake.lock +++ b/flake.lock @@ -28,6 +28,7 @@ "fenix": "fenix_2", "flakeCompat": "flakeCompat_2", "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "lsp-lib", @@ -75,6 +76,7 @@ "fenix_2": { "inputs": { "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "lsp-lib", @@ -156,6 +158,24 @@ "inputs": { "systems": "systems_4" }, + "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_5": { + "inputs": { + "systems": "systems_5" + }, "locked": { "lastModified": 1705309234, "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=", @@ -211,11 +231,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": { @@ -288,6 +308,22 @@ "type": "github" } }, + "idris-emacs-src_5": { + "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": [ @@ -295,8 +331,36 @@ ], "idris": "idris_2", "idris2Lsp": "idris2Lsp_2", + "lspLib": "lspLib_2", + "nixpkgs": [ + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1730552961, + "narHash": "sha256-VQyZxHu8dR0fOxjsKhUy/PDxvsBXNYFgVzzAvwXpC9c=", + "owner": "idris-community", + "repo": "idris2-lsp", + "rev": "4ec24c88f757027028c23c6ce2c541e46e5d1191", + "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", "nixpkgs": [ + "idris2Lsp", "nixpkgs" ] }, @@ -314,15 +378,17 @@ "type": "github" } }, - "idris2Lsp_2": { + "idris2Lsp_3": { "inputs": { "alejandra": [ + "idris2Lsp", "idris2Lsp", "alejandra" ], - "idris": "idris_3", + "idris": "idris_4", "lsp-lib": "lsp-lib", "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "nixpkgs" ] @@ -341,12 +407,13 @@ "type": "github" } }, - "idris2Lsp_3": { + "idris2Lsp_4": { "inputs": { "alejandra": "alejandra_2", - "idris": "idris_4", + "idris": "idris_5", "lsp-lib": "lsp-lib_2", "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "lsp-lib", @@ -377,11 +444,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": { @@ -401,11 +468,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": { @@ -419,6 +486,32 @@ "flake-utils": "flake-utils_4", "idris-emacs-src": "idris-emacs-src_4", "nixpkgs": [ + "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_5": { + "inputs": { + "flake-utils": "flake-utils_5", + "idris-emacs-src": "idris-emacs-src_5", + "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "lsp-lib", @@ -443,12 +536,14 @@ "lsp-lib": { "inputs": { "idris": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "idris" ], - "idris2Lsp": "idris2Lsp_3", + "idris2Lsp": "idris2Lsp_4", "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "nixpkgs" @@ -471,6 +566,7 @@ "lsp-lib_2": { "inputs": { "idris": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "lsp-lib", @@ -478,6 +574,7 @@ "idris" ], "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp", "lsp-lib", @@ -502,14 +599,17 @@ "lspLib": { "inputs": { "idris": [ + "idris2Lsp", "idris2Lsp", "idris" ], "idris2Lsp": [ + "idris2Lsp", "idris2Lsp", "idris2Lsp" ], "nixpkgs": [ + "idris2Lsp", "idris2Lsp", "nixpkgs" ] @@ -529,6 +629,35 @@ } }, "lspLib_2": { + "inputs": { + "idris": [ + "idris2Lsp", + "idris" + ], + "idris2Lsp": [ + "idris2Lsp", + "idris2Lsp" + ], + "nixpkgs": [ + "idris2Lsp", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1719582869, + "narHash": "sha256-C83mH8vzGcV2xcRNUxhks5kFyMkqzCN50cxryyLBV1U=", + "owner": "idris-community", + "repo": "LSP-lib", + "rev": "b54136be0656c5040397c5a83220b350ea3f29cc", + "type": "github" + }, + "original": { + "owner": "idris-community", + "repo": "LSP-lib", + "type": "github" + } + }, + "lspLib_3": { "inputs": { "idris": [ "idris" @@ -556,11 +685,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1726426284, - "narHash": "sha256-/6JSXGAxMcDSzuNc9R0vI4QEavG6480RnUapsBX0M74=", + "lastModified": 1731045408, + "narHash": "sha256-Obq4OmTKvIsEmS8UqGwJklzn7j6ndkQDblObb1un+gA=", "owner": "nixos", "repo": "nixpkgs", - "rev": "54fd37d0ca129cac257d796eeb2e4215dda984f8", + "rev": "a54c7dcc8e79ec17aab7edcefd9e96a94b2ecaf7", "type": "github" }, "original": { @@ -574,7 +703,7 @@ "alejandra": "alejandra", "idris": "idris", "idris2Lsp": "idris2Lsp", - "lspLib": "lspLib_2", + "lspLib": "lspLib_3", "nixpkgs": "nixpkgs" } }, @@ -671,6 +800,21 @@ "repo": "default", "type": "github" } + }, + "systems_5": { + "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",