Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ada
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gprbuild: Add gprbuild-gpl-2016Tupone Alfredo2017-03-223-0/+88
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-289-9/+0
* dev-ada/charles: Remove disbanded Ada projectMichał Górny2017-02-221-4/+1
* dev-ada/asis-gcc: Remove disbanded Ada projectMichał Górny2017-02-221-4/+1
* Remove masked for removal packagesPacho Ramos2016-11-096-143/+0
* package.mask: remove some masked for removal packagesPacho Ramos2016-10-017-627/+0
* Remove masked for removal packagesPacho Ramos2016-02-2016-588/+0
* Remove masked for removal packagesPacho Ramos2016-02-207-235/+0
* Remove masked for removal packagesPacho Ramos2016-02-144-133/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-2412-12/+12
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-2412-12/+48
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-1/+1
* Remove hard masked packagePacho Ramos2015-11-053-92/+0
* Add missing remote-id type=sourceforgeJustin Lecher2015-10-011-4/+7
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-2414-14/+14
* Use https by defaultJustin Lecher2015-08-2424-24/+24
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0857-0/+3095