[PRQ#49218] Deletion Request for ghc7.10
19 Oct
2023
19 Oct
'23
6: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/
28 Jan
28 Jan
10:11 p.m.
New subject: [PRQ#49218] Deletion Request for ghc7.10 Rejected
Request #49218 has been Rejected by MarsSeed [1]: Deferring due to low priority, and to ease the burden on PM's. [1] https://aur.archlinux.org/account/MarsSeed/
10:13 p.m.
New subject: [PRQ#49218] Deletion Request for ghc7.10 Rejected
Request #49218 has been Rejected by MarsSeed [1]: Deferring due to low priority, and to ease the burden on PM's. [1] https://aur.archlinux.org/account/MarsSeed/
291
Age (days ago)
392
Last active (days ago)
2 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org