package.mask: Last rite sci-mathematics/isabelle
authorMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 09:29:27 +0000 (11:29 +0200)
committerMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 09:31:46 +0000 (11:31 +0200)
commit0a18a1331e8647403c316aa3234023c610da1057
tree9470ef24cd65e59fee727d3dc903ca54240f35a9
parent75df5a82d90d6451eb7059bebfedb2c935436c1b
package.mask: Last rite sci-mathematics/isabelle

Bug: https://bugs.gentoo.org/682406
Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/package.mask