19 Oct
2023
19 Oct
'23
4:08 p.m.
MarsSeed [1] filed a deletion request for ghc7.10 [2]: Unneeded legacy ghc from 2016; nothing depends on it. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ghc7.10/