https://bugzilla.redhat.com/show_bug.cgi?id=834747
--- Comment #11 from Peter Lemenkov lemenkov@gmail.com --- I'm sure we need to keep internal files hierarchy intact (e.g. preserve /usr/share/gps ) but I still believe that we should rename in to gnat-gps. I did a quick googling and found that this app is called gnat-gps in Debian and Ubuntu. So I think it's better not to diverge too much from other distributions.
Also "Provides: gps = %{version}-%{release}" allows you to install it as "sudo yum install gps".