From 8744d4ee746497f1861d151d6b911bedad20bffe Mon Sep 17 00:00:00 2001
From: "Anna (cybertailor) Vyalkova" <cyber+gentoo@sysrq.in>
Date: Tue, 18 Jul 2023 03:11:01 +0500
Subject: [PATCH] profiles: mask sci-mathematics/frama-c-wp

Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
---
 profiles/package.mask | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index 8f22f5f22f..c3e6acb757 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.