Update `agda-language-server` on Hackage

agda / agda-language-server

Language Server for Agda

MIT License

102 stars 17 forks source link

Update `agda-language-server` on Hackage #7

Closed phijor closed 3 years ago

phijor commented 3 years ago

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 :+1:

banacorn commented 3 years ago

Yes, we should release the newer versions on Hackage!