[PRQ#49224] Deletion Request for ghc8.2
19 Oct
2023
19 Oct
'23
4:21 p.m.
MarsSeed [1] filed a deletion request for ghc8.2 [2]: Unneeded legacy ghc version from 2017, with wrong replaces array. Nothing actually depends on it. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ghc8.2/
1 Feb
1 Feb
12:54 p.m.
New subject: [PRQ#49224] Deletion Request for ghc8.2 Rejected
Request #49224 has been Rejected by MarsSeed [1]: Revoking this request, based on discussion with maintainer @rudy.matela. [1] https://aur.archlinux.org/account/MarsSeed/
287
Age (days ago)
392
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org