diff options
| author |   Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in> | 2023-07-18 03:11:01 +0500 |
|---|---|---|
| committer | Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in> | 2023-07-18 04:00:19 +0500 |
| commit | 8744d4ee746497f1861d151d6b911bedad20bffe (patch) | |
| tree | 2a505508bd09354a9f9bed4346dee27771d880e1 /profiles | |
| parent | www-apps/jackett-bin: treeclean duplicate (diff) | |
| download | guru-8744d4ee746497f1861d151d6b911bedad20bffe.tar.gz guru-8744d4ee746497f1861d151d6b911bedad20bffe.tar.bz2 guru-8744d4ee746497f1861d151d6b911bedad20bffe.zip | |
profiles: mask sci-mathematics/frama-c-wp
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
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 <cyber+gentoo@sysrq.in> (2023-07-18) +# Depends on removed <sci-mathematics/why3-1.5.0 +sci-mathematics/frama-c-wp + # Anna Vyalkova <cyber+gentoo@sysrq.in> (2023-06-17) # Requires network to build docs. # Removal on 2023-07-17. |