diff options
| author | Chris Reffett <creffett@gentoo.org> | 2014-03-06 22:26:33 -0500 |
|---|---|---|
| committer | Chris Reffett <creffett@gentoo.org> | 2014-03-06 22:26:33 -0500 |
| commit | 211690182fd9db5ef1e19d9124b3e8fe40352d5a (patch) | |
| tree | fa850c72453317c6a69401f5db92b13b20799b50 | |
| parent | d2f333545bc57c7d710a08cc2a01f8d407954623 (diff) | |
| download | kde-211690182fd9db5ef1e19d9124b3e8fe40352d5a.tar.gz kde-211690182fd9db5ef1e19d9124b3e8fe40352d5a.tar.bz2 kde-211690182fd9db5ef1e19d9124b3e8fe40352d5a.zip | |
[profiles/package.mask] Update virtuoso mask
| -rw-r--r-- | profiles/package.mask | 6 | ||||
| -rw-r--r-- | profiles/package.mask.d/virtuoso | 6 |
2 files changed, 0 insertions, 12 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 5ef01f50045..169d1eb7dca 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -69,12 +69,6 @@ =media-libs/qt-gstreamer-1.0_pre20140212 # Chris Reffett <creffett@gentoo.org> (29 Aug 2013) -# Virtuoso 6.1.7 does not work for KDE 4.11 according to upstream report. -=dev-db/virtuoso-server-6.1.7 -=dev-db/virtuoso-odbc-6.1.7 -=dev-db/virtuoso-jdbc-6.1.7 - -# Chris Reffett <creffett@gentoo.org> (29 Aug 2013) # Virtuoso 7 doesn't work with KDE at all yet. =dev-db/virtuoso-server-7.0.0 =dev-db/virtuoso-odbc-7.0.0 diff --git a/profiles/package.mask.d/virtuoso b/profiles/package.mask.d/virtuoso index d6aa694bda8..43a42d43902 100644 --- a/profiles/package.mask.d/virtuoso +++ b/profiles/package.mask.d/virtuoso @@ -1,10 +1,4 @@ # Chris Reffett <creffett@gentoo.org> (29 Aug 2013) -# Virtuoso 6.1.7 does not work for KDE 4.11 according to upstream report. -=dev-db/virtuoso-server-6.1.7 -=dev-db/virtuoso-odbc-6.1.7 -=dev-db/virtuoso-jdbc-6.1.7 - -# Chris Reffett <creffett@gentoo.org> (29 Aug 2013) # Virtuoso 7 doesn't work with KDE at all yet. =dev-db/virtuoso-server-7.0.0 =dev-db/virtuoso-odbc-7.0.0 |