diff options
author | George Shapovalov <george@gentoo.org> | 2008-08-12 09:27:46 +0000 |
---|---|---|
committer | George Shapovalov <george@gentoo.org> | 2008-08-12 09:27:46 +0000 |
commit | 28099b8777f5467dfdeedcffcf68dc8c8c8239ba (patch) | |
tree | 830c2ec5f2f38c595ddc96b195f4d9c95455072b /profiles | |
parent | fixed conditional for gnat-gpl, #231534 (diff) | |
download | gentoo-2-28099b8777f5467dfdeedcffcf68dc8c8c8239ba.tar.gz gentoo-2-28099b8777f5467dfdeedcffcf68dc8c8c8239ba.tar.bz2 gentoo-2-28099b8777f5467dfdeedcffcf68dc8c8c8239ba.zip |
removed last version of gnat-gpl as the issue was fixed
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index fad369d56976..e2f4c41c116e 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8875 2008/08/12 09:00:05 pva Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8876 2008/08/12 09:27:46 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 @@ -62,11 +62,6 @@ dev-util/elfsh # Will be removed 7 Sep 2008 dev-lang/caml-light -# George Shapovalov <george@gentoo.org> (5 Aug 2008) -# problems with shared libs (#231534) -=dev-lang/gnat-gpl-4.1.3.2008 -=dev-ada/asis-gpl-4.1.3.2008 - # Michael Sterrett <mr_bones_@gentoo.org> (04 Aug 2008) # Security masked: bug #233929 games-simulation/openttd |