summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Huber <johu@gentoo.org>2012-08-05 09:55:49 +0000
committerJohannes Huber <johu@gentoo.org>2012-08-05 09:55:49 +0000
commitbc2999148ce221a5a50216a3aa6c1e187cfabd8a (patch)
tree3eb5e12872fffacbab4d6e45eb76bffc7848e65f /profiles/package.mask
parentBump dep on dev-db/virtuoso-server. (diff)
downloadgentoo-2-bc2999148ce221a5a50216a3aa6c1e187cfabd8a.tar.gz
gentoo-2-bc2999148ce221a5a50216a3aa6c1e187cfabd8a.tar.bz2
gentoo-2-bc2999148ce221a5a50216a3aa6c1e187cfabd8a.zip
Remove obsolete mask for dev-db/virtuoso-*-6.1.5.
Diffstat (limited to 'profiles/package.mask')
-rw-r--r--profiles/package.mask10
1 files changed, 1 insertions, 9 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 30043de1ffe5..f3ce163d4321 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -1,5 +1,5 @@
####################################################################
-# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14029 2012/08/04 13:12:23 mabi Exp $
+# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14030 2012/08/05 09:55:49 johu 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. Please be extremely
@@ -46,14 +46,6 @@
# Removal in 30 days.
dev-ruby/spruz
-# Andreas K. Huettel <dilfridge@gentoo.org> (31 Jul 2012)
-# Virtuoso 6.1.5 is known to be broken. 6.1.6 should come
-# out soon, in the meantime we may have to force a downgrade
-# to 6.1.4.
-~dev-db/virtuoso-server-6.1.5
-~dev-db/virtuoso-odbc-6.1.5
-~dev-db/virtuoso-jdbc-6.1.5
-
# Samuli Suominen <ssuominen@gentoo.org> (31 Jul 2012)
# Masked for removal in 30 days wrt bug 425292. Replaced
# by USE="internal-glib" in >=dev-util/pkgconfig-0.27 or