diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-09-14 17:44:37 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-09-14 17:44:37 +0200 |
commit | 7d2aafd09b8f128da73333201c48b793607077be (patch) | |
tree | b8229d895f63ad87f22a38d4fe6111ffd673341c /profiles | |
parent | sci-chemistry/jmol: Remove last-rited pkg (diff) | |
download | gentoo-7d2aafd09b8f128da73333201c48b793607077be.tar.gz gentoo-7d2aafd09b8f128da73333201c48b793607077be.tar.bz2 gentoo-7d2aafd09b8f128da73333201c48b793607077be.zip |
sci-mathematics/isabelle: 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 feef25289e34..1eaa755ace94 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1116,7 +1116,6 @@ dev-java/itext app-text/jpdftweak dev-util/deskzilla media-sound/tuxguitar -sci-mathematics/isabelle # Michał Górny <mgorny@gentoo.org> (2019-08-14) # No longer builds. Homepage is gone, and its keep-alive fork is also |