summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorge Shapovalov <george@gentoo.org>2008-08-12 09:27:46 +0000
committerGeorge Shapovalov <george@gentoo.org>2008-08-12 09:27:46 +0000
commit28099b8777f5467dfdeedcffcf68dc8c8c8239ba (patch)
tree830c2ec5f2f38c595ddc96b195f4d9c95455072b /profiles
parentfixed conditional for gnat-gpl, #231534 (diff)
downloadgentoo-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.mask7
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