diff options
author | David Roman <davidroman96@gmail.com> | 2023-10-05 14:29:04 +0200 |
---|---|---|
committer | David Roman <davidroman96@gmail.com> | 2023-10-05 14:29:04 +0200 |
commit | 6be487bc1d2b4adb46aa5b0580b72f2653f121d8 (patch) | |
tree | f170dfe374bfeb952e8ce66e92b5816a627c197f /profiles | |
parent | sys-libs/iceoryx: fix network sandbox violation (diff) | |
download | guru-6be487bc1d2b4adb46aa5b0580b72f2653f121d8.tar.gz guru-6be487bc1d2b4adb46aa5b0580b72f2653f121d8.tar.bz2 guru-6be487bc1d2b4adb46aa5b0580b72f2653f121d8.zip |
sci-mathematics/frama-c-wp: treeclean
Signed-off-by: David Roman <davidroman96@gmail.com>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 3dc52ade2..fe0cfc828 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -25,10 +25,6 @@ net-news/communique # Removal in 30 days if no one else wants to maintain it. games-rpg/airshipper -# Anna Vyalkova <cyber+gentoo@sysrq.in> (2023-07-18) -# Depends on removed <sci-mathematics/why3-1.5.0 -sci-mathematics/frama-c-wp - # Viorel Munteanu <ceamac@gentoo.org> (2023-06-07) # Does not work on no-multilib profiles and cannot be masked per profile # (See also top comment) |