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/gnat_util: Adding dev-ada/gnat-util-2016Tupone Alfredo2017-04-024-0/+178
* dev-ada/xmlada: Fix dependencyTupone Alfredo2017-04-021-2/+3
* dev-ada/xmlada: put documentation in the good placeTupone Alfredo2017-04-011-0/+3
* dev-ada/gprbuild: Fix documentation directoriesTupone Alfredo2017-03-301-0/+3
* dev-ada/gprbuild: Now that dev-ada/xmlada is in, use it to buildTupone Alfredo2017-03-293-26/+113
* dev-ada/gprbuild: Fix executable stackTupone Alfredo2017-03-282-3/+167
* dev-ada/xmlada: Add dev-ada/xmladaTupone Alfredo2017-03-264-0/+101
* dev-ada/asis-gcc: Remove last-rited pkg, #593398Michał Górny2017-03-2510-1205/+0
* dev-ada/charles: Remove last-rited pkg, #593398Michał Górny2017-03-253-56/+0
* 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