dev-ada/gps: Fix names for gnat/gnatls/gnatmake
authorTupone Alfredo <tupone@gentoo.org>
Sat, 25 Nov 2017 17:43:20 +0000 (18:43 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 25 Nov 2017 17:43:20 +0000 (18:43 +0100)
commitf30c0458b4db445c583e89f50f284742f6298148
tree3ed721347dd80dd152f13a3cf16140f175d56b68
parentf450d85c48cacc21c928050e4ae96d442ea1472f
dev-ada/gps: Fix names for gnat/gnatls/gnatmake

Package-Manager: Portage-2.3.13, Repoman-2.3.3
dev-ada/gps/files/gps-2017-gentoo.patch
dev-ada/gps/gps-2017.ebuild