projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d41ae9) | patch
dev-ada/gnatcoll: use gnatls-6.3.0 instead of gnatls
authorTupone Alfredo <tupone@gentoo.org>
Sat, 25 Nov 2017 15:11:03 +0000 (16:11 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 25 Nov 2017 15:11:03 +0000 (16:11 +0100)
commit084b75081845bc83908ed348800cc67f8317cd05
treed348cc03b30ada8b7aac06138757be9fd7a8571dtree | snapshot
parent5d41ae904f07dbcfb8d041c14fc253efe9b22dbdcommit | diff
dev-ada/gnatcoll: use gnatls-6.3.0 instead of gnatls

Package-Manager: Portage-2.3.13, Repoman-2.3.3
dev-ada/gnatcoll/Manifest diff | blob | history
dev-ada/gnatcoll/files/gnatcoll-2017-gentoo.patch diff | blob | history
dev-ada/gnatcoll/gnatcoll-2017.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.