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: make gcc-configure-texinfo.patch -p1 friendlySergei Trofimovich2020-02-011-2/+2
* dev-lang/gnat-gpl: remove unused patchMichael Mair-Keimberger2019-12-081-31/+0
* dev-lang/gnat-gpl: EAPI 6Tupone Alfredo2019-11-211-2/+2
* dev-lang/gnat-gpl: EAPI 6Tupone Alfredo2019-11-202-16/+16
* dev-lang/gnat-gpl: EAPI 6Tupone Alfredo2019-11-201-4/+4
* dev-lang/gnat-gpl: fix gnatmake using gcc-8.3.1 instead of gccTupone Alfredo2019-05-311-0/+18
* dev-lang/gnat-gpl: Bump to 2019Tupone Alfredo2019-05-291-0/+24
* dev-lang/gnat-gpl: Fix build withouy ustatTupone Alfredo2019-04-201-0/+31
* dev-lang/gnat-gpl: Fix missing ustat.h for gnat-gpl-2016Tupone Alfredo2019-04-191-0/+31
* dev-lang/gnat-gpl: Add some profile definitions from 2017Tupone Alfredo2018-11-181-0/+113
* dev-lang/gnat-gpl: Add Finalization_Size su gnatcoll-2017 can buildTupone Alfredo2018-11-171-0/+220
* dev-lang/gnat-gpl: Version bump to gnat-gpl-2018Tupone Alfredo2018-06-091-0/+18
* 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