28 Jun
2023
28 Jun
'23
10:56 a.m.
MarsSeed [1] filed a request to merge gnat-gps [2] into gnatstudio [3]: Upstream got renamed to gnatstudio. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnat-gps/ [3] https://aur.archlinux.org/pkgbase/gnatstudio/