projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7810d0e) | patch
dev-ada/gps: It works for gnat_2016 now
authorTupone Alfredo <tupone@gentoo.org>
Sat, 17 Nov 2018 21:59:12 +0000 (22:59 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 17 Nov 2018 21:59:12 +0000 (22:59 +0100)
commit8d83d74faba7c97b6a9851bb5e2b6766d6b571cf
treebed024fa91db85febba15c767b8cd047e5cc3f53tree | snapshot
parent7810d0e0b09cd5376d8a2abb06ad7afdbebb5346commit | diff
dev-ada/gps: It works for gnat_2016 now

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