[PRQ#73934] Orphan Request for haskell-agda-language-server Accepted

[notify]

Request #73934 has been Accepted by matthewq337 [1].

[1] https://aur.archlinux.org/account/matthewq337/