diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-09-14 17:43:59 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-09-14 17:43:59 +0200 |
| commit | 118ae495ef2e4f65f8c48245dc6367da28bb8035 (patch) | |
| tree | cbeac5b621014d47d32d9a4648187429af50d6d5 /profiles | |
| parent | sci-mathematics/e: Remove last-rited pkg (diff) | |
| download | gentoo-118ae495ef2e4f65f8c48245dc6367da28bb8035.tar.gz gentoo-118ae495ef2e4f65f8c48245dc6367da28bb8035.tar.bz2 gentoo-118ae495ef2e4f65f8c48245dc6367da28bb8035.zip | |
sci-mathematics/cvc3: Remove last-rited pkg
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 5ff220663696..0de8a394f4fd 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1118,7 +1118,6 @@ dev-util/deskzilla media-sound/tuxguitar sci-mathematics/isabelle sci-chemistry/jmol -sci-mathematics/cvc3 # Michał Górny <mgorny@gentoo.org> (2019-08-14) # No longer builds. Homepage is gone, and its keep-alive fork is also |