diff options
| -rw-r--r-- | profiles/package.mask | 6 | ||||
| -rw-r--r-- | profiles/package.mask.d/virtuoso | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 169d1eb7dca..81b0d0640c0 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -70,6 +70,6 @@ # 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 -=dev-db/virtuoso-jdbc-7.0.0 +>=dev-db/virtuoso-server-7.0.0 +>=dev-db/virtuoso-odbc-7.0.0 +>=dev-db/virtuoso-jdbc-7.0.0 diff --git a/profiles/package.mask.d/virtuoso b/profiles/package.mask.d/virtuoso index 43a42d43902..b2a7da834f1 100644 --- a/profiles/package.mask.d/virtuoso +++ b/profiles/package.mask.d/virtuoso @@ -1,5 +1,5 @@ # 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 -=dev-db/virtuoso-jdbc-7.0.0 +>=dev-db/virtuoso-server-7.0.0 +>=dev-db/virtuoso-odbc-7.0.0 +>=dev-db/virtuoso-jdbc-7.0.0 |