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

2025-06-12 Thread notify
matthewq337 [1] filed an orphan request for haskell-agda-language- server [2]: Flagged out-of-date (2023-04-28) [1] https://aur.archlinux.org/account/matthewq337/ [2] https://aur.archlinux.org/pkgbase/haskell-agda-language-server/

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

2025-06-12 Thread notify
Request #73934 has been Accepted by matthewq337 [1]. [1] https://aur.archlinux.org/account/matthewq337/