profiles: Mask sci-mathematics/nusmv for removal
authorDavid Seifert <soap@gentoo.org>
Sat, 7 Dec 2019 23:49:14 +0000 (00:49 +0100)
committerDavid Seifert <soap@gentoo.org>
Sat, 7 Dec 2019 23:49:14 +0000 (00:49 +0100)
commit22666562349d00d8680b3bce5334ec3ac1032f83
tree55dd8a69d3a844c1959de437c5d141f0c710c0b9
parent215cb3e08415da7ba2e4a174e6bf2263c7e1ebaa
profiles: Mask sci-mathematics/nusmv for removal

Bug: https://bugs.gentoo.org/343743
Bug: https://bugs.gentoo.org/347928
Bug: https://bugs.gentoo.org/451394
Bug: https://bugs.gentoo.org/547714
Bug: https://bugs.gentoo.org/623756
Bug: https://bugs.gentoo.org/697562
Signed-off-by: David Seifert <soap@gentoo.org>
profiles/package.mask