dev-db/soci: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Thu, 17 Oct 2019 12:19:15 +0000 (14:19 +0200)
committerMichał Górny <mgorny@gentoo.org>
Thu, 17 Oct 2019 12:19:15 +0000 (14:19 +0200)
commit29ecb65037bc24a553d206cfc44b148f203f9727
tree9c6d3624c030dbdc7bfb063a030970975ff0a775
parent2f2851faa3ad6cbcf1f4584d12ccec1e57ce5ce5
dev-db/soci: Remove last-rited pkg

Closes: https://bugs.gentoo.org/694602
Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-db/soci/Manifest [deleted file]
dev-db/soci/metadata.xml [deleted file]
dev-db/soci/soci-3.2.3-r1.ebuild [deleted file]
profiles/package.mask