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
commit26cd5ac5df72e5c03882b1090b4e278f139d14b6 (patch)
tree72d62013d4688bcf0b1df0b23dce9ea21f26ee13 /profiles/package.mask
parentfixed conditional for gnat-gpl, #231534 (diff)
downloadhistorical-26cd5ac5df72e5c03882b1090b4e278f139d14b6.tar.gz
historical-26cd5ac5df72e5c03882b1090b4e278f139d14b6.tar.bz2
historical-26cd5ac5df72e5c03882b1090b4e278f139d14b6.zip
removed last version of gnat-gpl as the issue was fixed
Diffstat (limited to 'profiles/package.mask')
-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