diff options
author | 2008-08-05 13:06:13 +0000 | |
---|---|---|
committer | 2008-08-05 13:06:13 +0000 | |
commit | 6e2651fb7b86edaab31987f2608f00e3cf6df0ec (patch) | |
tree | fa0fbcb2a10ae348fdd7b0be1e9ffca31006d809 /profiles | |
parent | Bump flac dep to force upgrade to a recent version, it would fail to build if... (diff) | |
download | gentoo-2-6e2651fb7b86edaab31987f2608f00e3cf6df0ec.tar.gz gentoo-2-6e2651fb7b86edaab31987f2608f00e3cf6df0ec.tar.bz2 gentoo-2-6e2651fb7b86edaab31987f2608f00e3cf6df0ec.zip |
masked last version of gnat-gpl until building shared libs is resolved
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 628125141d62..4cc55b807c49 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8862 2008/08/05 04:46:10 darkside Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8863 2008/08/05 13:06:13 george Exp $ # # When you add an entry to the top of this file, add your name, the date, and # an explanation of why something is getting masked @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# George Shapovalov <george@gentoo.org> (5 Aug 2008) +# problems with shared libs (#231534) +=dev-lang/gnat-gpl-4.1.3.2008 + # Michael Sterrett <mr_bones_@gentoo.org> (04 Aug 2008) # Security masked: bug #233929 games-simulation/openttd |