Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/gnat-gpl
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/gnat-gpl: Add bootstrap use flagTupone Alfredo2017-03-192-13/+28
* dev-lang/gnat-gpl: Fix case when ADA is specified without the pathTupone Alfredo2017-03-161-3/+7
* dev-lang/gnat-gpl: build with out of path compilerTupone Alfredo2017-03-151-11/+27
* [QA] Drop $Id$ lines that were added back to headers.Ulrich Müller2017-03-121-1/+0
* 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-115-0/+317
* package.mask: remove some masked for removal packagesPacho Ramos2016-10-0110-428/+0
* sourceforge: switch to https:// URIsMike Frysinger2016-07-271-1/+1
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Update hashes in ManifestJustin Lecher2015-09-231-11/+11
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-243-10/+10
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0810-0/+425