CyanoKobalamyne [1] filed an orphan request for haskell-agda-language- server [2]:
Package has been out of date for over 19 months. [1] https://aur.archlinux.org/account/CyanoKobalamyne/ [2] https://aur.archlinux.org/pkgbase/haskell-agda-language-server/
