From 107e56e550b57c4018e8efb7ee9537ea9ec5ecb1 Mon Sep 17 00:00:00 2001 From: Ting-Gian LUA Date: Fri, 6 Dec 2024 12:35:16 +0800 Subject: [PATCH] [ fix ] Add extra-deps for testings for Agda-2.6.3 --- stack-9.2-Agda-2.6.3.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/stack-9.2-Agda-2.6.3.yaml b/stack-9.2-Agda-2.6.3.yaml index 0b6cc51..63aae35 100644 --- 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