2020-05-01 | Michał Górny | dev-ada/gps: Remove old (LLVM 7) | tree | commitdiff |
2019-11-17 | Tupone Alfredo | dev-ada/gps: version bump to 2019 | tree | commitdiff |
2019-11-03 | Tupone Alfredo | dev-ada/gps: remove old version | tree | commitdiff |
2019-10-22 | Tupone Alfredo | dev-ada/gps: maintainer -> ada | tree | commitdiff |
2018-11-29 | Tupone Alfredo | dev-ada/gps: Stable | tree | commitdiff |
2018-07-26 | Tupone Alfredo | dev-ada/gps: respect ADAFLAGS/CFLAGS | tree | commitdiff |
2018-07-12 | Tupone Alfredo | dev-ada/gps: Version bump to 2018 | tree | commitdiff |
2017-12-10 | Tupone Alfredo | dev-ada/gps: Respect CFLAGS and ADAFLAGS | tree | commitdiff |
2017-11-25 | Tupone Alfredo | dev-ada/gps: Fix names for gnat/gnatls/gnatmake | tree | commitdiff |
2017-11-21 | Tupone Alfredo | dev-ada/gps: Add GPS (IDE) to gentoo | tree | commitdiff |