media-plugins/gst-plugins-flac: bump to 1.14.1
[gentoo.git] / dev-lang / gnat-gpl /
2018-06-09 Tupone Alfredodev-lang/gnat-gpl: Version bump to gnat-gpl-2018
2018-04-21 Tupone Alfredodev-lang/gnat-gpl: x86 stable
2018-04-20 Tupone Alfredodev-lang/gnat-gpl: Fix binary install
2018-02-26 Tupone Alfredodev-lang/gnat-gpl: Add ~x86 to gnat-gpl-2017
2018-02-25 Tupone Alfredodev-lang/gnat-gpl: Add ~x86 to 2016 version
2017-12-31 Tupone Alfredodev-lang/gnat-gpl: 2016 version stable on amd64
2017-12-08 Tupone Alfredodev-lang/gnat-gpl: Work with glibc-2.26. Bug #639808
2017-11-26 Tupone Alfredodev-lang/gnat-gpl: gnat-gpl-2017 stable
2017-11-26 Tupone Alfredodev-lang/gnat-gpl: align gnat-gpl-2016 ebuild to gcc...
2017-11-25 Tupone Alfredodev-lang/gnat-gpl: update checksum
2017-10-03 Tupone Alfredodev-lang/gnat-gpl: Fix gnat-gpl-2017 when using gnatmak...
2017-09-24 Shane Peelarsys-devel/gcc: add a USE for building GCC with PGO
2017-09-16 Sergei Trofimovichdev-lang/gnat-gpl: drop GCC_FILESDIR reference in comme...
2017-09-04 Tupone Alfredodev-lang/gnat-gpl: Remove usage of PORTDIR. Fix bug...
2017-06-22 Tupone Alfredodev-lang/gnat-gpl: Remove tool description file (to...
2017-06-20 Tupone Alfredodev-lang/gnat-gpl: Fix compiler description for gprbuild
2017-06-17 Tupone Alfredodev-lang/gnat-gpl: Adding version 2017
2017-05-24 Tupone Alfredodev-lang/gnat-gpl: Fix build when current compiler...
2017-05-09 Tupone Alfredodev-lang/gnat-gpl: Avoid error unrecognized relocation...
2017-03-29 Tupone Alfredodev-lang/gnat-gpl: Set the gnatbind executable for...
2017-03-26 Tupone Alfredodev-lang/gnat-gpl: Add compiler description for gprbuild
2017-03-19 Tupone Alfredodev-lang/gnat-gpl: filtering flag (needed for bootstrap)
2017-03-19 Tupone Alfredodev-lang/gnat-gpl: Add bootstrap use flag
2017-03-16 Tupone Alfredodev-lang/gnat-gpl: Fix case when ADA is specified witho...
2017-03-15 Tupone Alfredodev-lang/gnat-gpl: build with out of path compiler
2017-03-12 Ulrich Müller[QA] Drop $Id$ lines that were added back to headers.
2017-03-11 Tupone Alfredodev-lang/gnat-gpl: Fix build when using something like...
2017-03-11 Tupone Alfredodev-lang/gnat-gpl: Add gnat-gpl-2016
2016-10-01 Robin H. Johnsonnet-misc/iputils: Merge GitHub PR #2289
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716
2016-10-01 Pacho Ramospackage.mask: remove some masked for removal packages
2016-07-27 Mike Frysingersourceforge: switch to https:// URIs
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions...
2016-02-08 Patrice ClementMerge remote-tracking branch 'github/pr/372'.
2016-02-05 Patrice ClementMerge remote-tracking branch 'github/pr/608'.
2016-02-04 Patrice ClementMerge remote-tracking branch 'github/pr/708'.
2016-02-01 Patrice ClementMerge remote-tracking branch 'github/pr/760'.
2016-01-30 Patrice ClementMerge remote-tracking branch 'github/pr/674'.
2016-01-29 Mark Wrightsci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
2016-01-25 Patrice ClementMerge remote-tracking branch 'github/pr/703'. Fixes...
2016-01-24 Michał GórnyMerge the GLEP 67 transition changes
2016-01-24 Michał GórnySet appropriate maintainer types in metadata.xml (GLEP 67)
2016-01-24 Michał GórnyReplace all herds with appropriate projects (GLEP 67)
2015-10-05 Markos ChandrasMerge remote-tracking branch 'jirutka/lxc-grsec'
2015-10-03 Michał Górnydev-db/postgresql: Merge "use /bin/sh (...) for postgre...
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/115'.
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/116'.
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/52'.
2015-09-27 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/135'
2015-09-26 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/125'
2015-09-25 Patrice ClementMerge remote-tracking branch 'github/pr/130'.
2015-09-23 Justin LecherUpdate hashes in Manifest
2015-09-09 Michał GórnyMerge game-action/minetest: Version bump to 0.4.13
2015-08-25 Michał GórnyMerge media-sound/spotify: Fix homepage URL
2015-08-24 Mike GilbertRevert DOCTYPE SYSTEM https changes in metadata.xml
2015-08-24 Justin LecherUse https by default
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit