agda-language-server icon indicating copy to clipboard operation
agda-language-server copied to clipboard

Published 20 hours ago • verified publisher icon agda

ICU dynamic library linking problem on Ubuntu

Open banacorn opened this issue 4 years ago • 2 comments

Prebuilt language server on Ubuntu is reportedly having some linking problems (see https://github.com/banacorn/agda-mode-vscode/issues/68#issuecomment-938044062).

We should bundle DLLs on Ubuntu like we do on Windows and macOS

banacorn avatar Oct 10 '21 12:10 banacorn