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/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-lang
/
gnat-gpl
/
files
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-lang/gnat-gpl: fix gnatmake using gcc-8.3.1 instead of gcc
Tupone Alfredo
2019-05-31
1
-0
/
+18
*
dev-lang/gnat-gpl: Bump to 2019
Tupone Alfredo
2019-05-29
1
-0
/
+24
*
dev-lang/gnat-gpl: Fix build withouy ustat
Tupone Alfredo
2019-04-20
1
-0
/
+31
*
dev-lang/gnat-gpl: Fix missing ustat.h for gnat-gpl-2016
Tupone Alfredo
2019-04-19
1
-0
/
+31
*
dev-lang/gnat-gpl: Add some profile definitions from 2017
Tupone Alfredo
2018-11-18
1
-0
/
+113
*
dev-lang/gnat-gpl: Add Finalization_Size su gnatcoll-2017 can build
Tupone Alfredo
2018-11-17
1
-0
/
+220
*
dev-lang/gnat-gpl: Version bump to gnat-gpl-2018
Tupone Alfredo
2018-06-09
1
-0
/
+18
*
dev-lang/gnat-gpl: Work with glibc-2.26. Bug #639808
Tupone Alfredo
2017-12-08
1
-0
/
+66
*
dev-lang/gnat-gpl: align gnat-gpl-2016 ebuild to gcc-4.9.4
Tupone Alfredo
2017-11-26
1
-0
/
+66
*
dev-lang/gnat-gpl: Fix gnat-gpl-2017 when using gnatmake-6.3.0
Tupone Alfredo
2017-10-03
1
-0
/
+18
*
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