Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/gnat-gpl/files
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/gnat-gpl: Work with glibc-2.26. Bug #639808Tupone Alfredo2017-12-081-0/+66
* dev-lang/gnat-gpl: align gnat-gpl-2016 ebuild to gcc-4.9.4Tupone Alfredo2017-11-261-0/+66
* dev-lang/gnat-gpl: Fix gnat-gpl-2017 when using gnatmake-6.3.0Tupone Alfredo2017-10-031-0/+18
* dev-lang/gnat-gpl: Remove usage of PORTDIR. Fix bug #629764Tupone Alfredo2017-09-046-0/+521
* dev-lang/gnat-gpl: Remove tool description file (to be put on gprbuild)Tupone Alfredo2017-06-221-94/+0
* dev-lang/gnat-gpl: Adding version 2017Tupone Alfredo2017-06-171-0/+14
* dev-lang/gnat-gpl: Set the gnatbind executable for gprbindTupone Alfredo2017-03-291-0/+1
* dev-lang/gnat-gpl: Add compiler description for gprbuildTupone Alfredo2017-03-261-0/+93
* dev-lang/gnat-gpl: Fix build when using something like ADA=gcc-4.9.4Tupone Alfredo2017-03-111-0/+18
* dev-lang/gnat-gpl: Add gnat-gpl-2016Tupone Alfredo2017-03-112-0/+126
* package.mask: remove some masked for removal packagesPacho Ramos2016-10-014-90/+0
* sourceforge: switch to https:// URIsMike Frysinger2016-07-271-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-084-0/+90