[ fix ] Add extra-deps for testings for Agda-2.6.3

agda · Dec 6, 2024 · 107e56e · 107e56e
1 parent afb18bf
commit 107e56e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/stack-9.2-Agda-2.6.3.yaml b/stack-9.2-Agda-2.6.3.yaml
@@ -10,6 +10,7 @@ extra-deps:
 - Agda-2.6.3
 - lsp-2.7.0.0@sha256:2a64b40a69fd9638056ca552d5660203019473061cff1d09dccc0c94e40a275c,3834
 - lsp-types-2.3.0.0@sha256:ca17a686bda5dc7ff04105ca7081dce5a90bcd050c8800a13efd68b7f0901f1c,34215
+- lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
 - mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
 - row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071