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, [email protected] 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/
