dev-libs/gecode: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Fri, 11 Oct 2019 15:05:50 +0000 (17:05 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 11 Oct 2019 15:05:50 +0000 (17:05 +0200)
commit36f30cb79abfa1b547f2012af15a288ee42ec555
tree4d5e349a37173f54fd6e9ff7e362e32c79c29b8d
parent3156b4c6bb88352294e8b86852ec15def523b338
dev-libs/gecode: Remove last-rited pkg

Closes: https://bugs.gentoo.org/694056
Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-libs/gecode/Manifest [deleted file]
dev-libs/gecode/files/gecode-4.4.0-no-examples.patch [deleted file]
dev-libs/gecode/gecode-3.7.3-r1.ebuild [deleted file]
dev-libs/gecode/gecode-4.4.0-r2.ebuild [deleted file]
dev-libs/gecode/metadata.xml [deleted file]
profiles/package.mask