| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/gnat-gpl: Remove usage of PORTDIR. Fix bug #629764 |   Tupone Alfredo | 2017-09-04 | 6 | -0/+521 |
| * | dev-lang/gnat-gpl: Remove tool description file (to be put on gprbuild) | Tupone Alfredo | 2017-06-22 | 1 | -94/+0 |
| * | dev-lang/gnat-gpl: Adding version 2017 | Tupone Alfredo | 2017-06-17 | 1 | -0/+14 |
| * | dev-lang/gnat-gpl: Set the gnatbind executable for gprbind | Tupone Alfredo | 2017-03-29 | 1 | -0/+1 |
| * | dev-lang/gnat-gpl: Add compiler description for gprbuild | Tupone Alfredo | 2017-03-26 | 1 | -0/+93 |
| * | dev-lang/gnat-gpl: Fix build when using something like ADA=gcc-4.9.4 | Tupone Alfredo | 2017-03-11 | 1 | -0/+18 |
| * | dev-lang/gnat-gpl: Add gnat-gpl-2016 | Tupone Alfredo | 2017-03-11 | 2 | -0/+126 |
| * | package.mask: remove some masked for removal packages |   Pacho Ramos | 2016-10-01 | 4 | -90/+0 |
| * | sourceforge: switch to https:// URIs |   Mike Frysinger | 2016-07-27 | 1 | -1/+1 |
| * | proj/gentoo: Initial commit |   Robin H. Johnson | 2015-08-08 | 4 | -0/+90 |
GitWeb