commit: 8744d4ee746497f1861d151d6b911bedad20bffe Author: Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq <DOT> in> AuthorDate: Mon Jul 17 22:11:01 2023 +0000 Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> org> CommitDate: Mon Jul 17 23:00:19 2023 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=8744d4ee
profiles: mask sci-mathematics/frama-c-wp Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq.in> profiles/package.mask | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 8f22f5f22..c3e6acb75 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -14,6 +14,10 @@ # New entries go on top. +# Anna Vyalkova <[email protected]> (2023-07-18) +# Depends on removed <sci-mathematics/why3-1.5.0 +sci-mathematics/frama-c-wp + # Anna Vyalkova <[email protected]> (2023-06-17) # Requires network to build docs. # Removal on 2023-07-17.
