sci-mathematics/cvc3: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Sat, 14 Sep 2019 15:43:59 +0000 (17:43 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 14 Sep 2019 15:43:59 +0000 (17:43 +0200)
commit118ae495ef2e4f65f8c48245dc6367da28bb8035
treecbeac5b621014d47d32d9a4648187429af50d6d5
parentbc69c12f9d029d94a8720ba51d60cc145c637a8e
sci-mathematics/cvc3: Remove last-rited pkg

Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/package.mask
sci-mathematics/cvc3/Manifest [deleted file]
sci-mathematics/cvc3/cvc3-2.4.1-r1.ebuild [deleted file]
sci-mathematics/cvc3/files/50cvc3-gentoo.el [deleted file]
sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch [deleted file]
sci-mathematics/cvc3/metadata.xml [deleted file]