projects / gentoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cb519cc)
profiles/package.mask: for real now
authorAaron Bauman <bman@gentoo.org>
Thu, 15 Aug 2019 00:39:22 +0000 (20:39 -0400)
committerAaron Bauman <bman@gentoo.org>
Thu, 15 Aug 2019 00:39:37 +0000 (20:39 -0400)
Signed-off-by: Aaron Bauman <bman@gentoo.org>
profiles/package.mask patch | blob | history

diff --git a/profiles/package.mask b/profiles/package.mask
index 20670faf0a2ac99d89abb8c7bb8477cde8878c83..294adf4d403d2d2e28eca7669c44f2c343d1a08c 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -36,6 +36,7 @@ dev-java/itext
 app-text/jpdftweak
 dev-util/deskzilla
 media-sound/tuxguitar
+sci-mathematics/isabelle
 sci-chemistry/jmol
 sci-mathematics/cvc3
 sci-mathematics/e
Unnamed repository; edit this file 'description' to name the repository.