GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-ada
/
gps
/
gps-2017.ebuild
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ada/gps: Stable
Tupone Alfredo
2018-11-24
1
-3
/
+3
*
dev-ada/gps: make it works with dev-ada/libgrp-2018
Tupone Alfredo
2018-11-18
1
-0
/
+1
*
dev-ada/gps: It works for gnat_2016 now
Tupone Alfredo
2018-11-17
1
-2
/
+6
*
dev-ada/gps: Only for gnat 2017
Tupone Alfredo
2018-11-17
1
-2
/
+5
*
dev-ada/gps: No strict aliasing
Tupone Alfredo
2018-04-20
1
-0
/
+1
*
dev-ada/gps: Add desktop entry
Tupone Alfredo
2018-04-20
1
-1
/
+2
*
dev-ada/gps: Add ~x86. Fix build with gnatcoll shared
Tupone Alfredo
2018-03-16
1
-2
/
+4
*
dev-ada/gps: gnatcoll tools need gnatcoll build with static-libs
Tupone Alfredo
2018-03-15
1
-2
/
+2
*
dev-ada/gps: set the path of libclang
Tupone Alfredo
2017-12-29
1
-2
/
+6
*
dev-ada/gps: Respect CFLAGS and ADAFLAGS
Tupone Alfredo
2017-12-10
1
-3
/
+3
*
dev-ada/gps: Disable test
Tupone Alfredo
2017-12-05
1
-0
/
+2
*
dev-ada/gps: Adding gnat documentation
Tupone Alfredo
2017-11-25
1
-2
/
+12
*
dev-ada/gps: Fix names for gnat/gnatls/gnatmake
Tupone Alfredo
2017-11-25
1
-0
/
+6
*
dev-ada/gps: use only (gnat)gcc-6.3.0 compiler
Tupone Alfredo
2017-11-22
1
-16
/
+3
*
dev-ada/gps: Add GPS (IDE) to gentoo
Tupone Alfredo
2017-11-21
1
-0
/
+66