5 Dec
2024
5 Dec
'24
9:20 p.m.
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/