Update `agda-language-server` on Hackage
phijor opened this issue · comments
I am currently trying to package this project for the Arch User Repository. This can (almost) be automated if there is an up-to-date version of the package on Hackage.
Would you consider releasing the newer versions of the language server there? Or is it a concious choice not?
Thank you in advance 👍
Yes, we should release the newer versions on Hackage!