[PRQ#42993] Deletion Request for gnat-gps
28 Jun
2023
28 Jun
'23
1:25 a.m.
charlie5 [1] filed a deletion request for gnat-gps [2]: This package has been superceded by 'gnatstudio'. [1] https://aur.archlinux.org/account/charlie5/ [2] https://aur.archlinux.org/pkgbase/gnat-gps/
28 Jun
28 Jun
8:37 p.m.
Please don't delete gnat-gps. Instead, please merge gnat-gps to gnatstudio (PRQ#42998). To preserve the votes and comments. On 28 June 2023 03:25:25 GMT+02:00, notify@aur.archlinux.org wrote:
charlie5 [1] filed a deletion request for gnat-gps [2]:
This package has been superceded by 'gnatstudio'.
[1] https://aur.archlinux.org/account/charlie5/ [2] https://aur.archlinux.org/pkgbase/gnat-gps/
29 Jun
29 Jun
4:48 a.m.
New subject: [PRQ#42993] Deletion Request for gnat-gps Rejected
Request #42993 has been Rejected by polyzen [1]: Package has many votes, merging instead. [1] https://aur.archlinux.org/account/polyzen/
561
Age (days ago)
562
Last active (days ago)
2 comments
2 participants
participants (2)
-
Marcell Meszaros
-
notify＠aur.archlinux.org