update all dependencies tracked within this repo to latest main

mattpolzin · mattpolzin · commit 9d3cf54e0945 · 2025-08-20T21:28:35.000-05:00
diff --git a/Idris2 b/Idris2
@@ -1 +1 @@
-Subproject commit 0a87cfc45596051804a27aa652098427c50f2d73
+Subproject commit a991795cde7bfad93d5b4dd26a39d6c529d79e41
diff --git a/LSP-lib b/LSP-lib
@@ -1 +1 @@
-Subproject commit 8ff3a886c0dc41a9eebea6ec5956349752d29714
+Subproject commit ca77e80a392b8cfeee3aaeb150069957699cdb82
diff --git a/flake.lock b/flake.lock
