Re: [PRQ#42993] Deletion Request for gnat-gps

28 Jun 2023

      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/

Re: [PRQ#42993] Deletion Request for gnat-gps

Marcell Meszaros