dev-db/virtuoso-server: Remove package
authorJohannes Huber <johu@gentoo.org>
Thu, 17 Sep 2015 10:18:40 +0000 (12:18 +0200)
committerJohannes Huber <johu@gentoo.org>
Thu, 17 Sep 2015 10:23:20 +0000 (12:23 +0200)
commit0b8e1118cc57cbd0f1d08eba405f8a3e6e62a84a
tree49ef183ea48e819258bd9bebbc413adeed664757
parent49c964c862865ba64f1a63508a8cc6ddf588e575
dev-db/virtuoso-server: Remove package

Last rited on 2015/08/13.
dev-db/virtuoso-server/Manifest [deleted file]
dev-db/virtuoso-server/files/virtuoso-server-6.1.4-unbundle-minizip.patch [deleted file]
dev-db/virtuoso-server/files/virtuoso-server-6.1.6-am_config_header.patch [deleted file]
dev-db/virtuoso-server/metadata.xml [deleted file]
dev-db/virtuoso-server/virtuoso-server-6.1.6.ebuild [deleted file]
dev-db/virtuoso-server/virtuoso-server-6.1.8.ebuild [deleted file]