Use lsp-types from upstream

andy0130tw · andy0130tw · commit 0adfe486da30 · 2025-09-29T01:58:31.000+08:00
diff --git a/cabal.project b/cabal.project
@@ -14,11 +14,5 @@ source-repository-package
   location: https://github.com/k0001/network-simple.git
   tag: 2c3ab6e7aa2a86be692c55bf6081161d83d50c34
 
-source-repository-package
-  type: git
-  location: https://github.com/agda-web/lsp.git
-  tag: 9baf76e6d9965a3b6e8b3ecfcdf33c62b5628fd8
-  subdir: lsp-types
-
 package Agda
   flags: +optimise-heavily
