projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8224213) | patch
dev-ada/gps: Works only with gnat-gpl-2018
authorTupone Alfredo <tupone@gentoo.org>
Wed, 31 Oct 2018 11:41:50 +0000 (12:41 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Wed, 31 Oct 2018 11:41:50 +0000 (12:41 +0100)
commitc95aa8c37f928bee12c61ed336e17d914c72815f
tree5ad56367ab5ba819e398659fb1e5a8a0537b8535tree | snapshot
parent8224213ec626f6eed3eb71728a3e5283b0beefa1commit | diff
dev-ada/gps: Works only with gnat-gpl-2018

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.49, Repoman-2.3.11
dev-ada/gps/gps-2018.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.