diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index ec95b6f36a5c..1aa87004f33a 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,12 @@ #--- END OF EXAMPLES --- # David Seifert <soap@gentoo.org> (2019-12-08) +# No revdeps, py2 only, last release in 2015, lots of QA issues. +# Bug #343743, #347928, #451394, #547714, #623756, #697562. +# Removal in 30 days. +sci-mathematics/nusmv + +# David Seifert <soap@gentoo.org> (2019-12-08) # No revdeps, py2 only, last release in 2008. Removal in 30 days. sci-mathematics/p9m4 |