commit:     ec7b14732cb17b1b186dac6b9b0259cffe6dc3a5
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 15 07:39:49 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Mar 15 11:00:47 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ec7b1473

profiles/features/musl: masking dev-ada/AdaSAT

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 profiles/features/musl/package.mask | 1 +
 1 file changed, 1 insertion(+)

diff --git a/profiles/features/musl/package.mask 
b/profiles/features/musl/package.mask
index 4c51c57f82f1..d26c019dbe14 100644
--- a/profiles/features/musl/package.mask
+++ b/profiles/features/musl/package.mask
@@ -28,6 +28,7 @@ dev-ada/gpr
 dev-ada/gnatmem
 dev-ada/ada_libfswatch
 dev-ada/gnatsymbolize
+dev-ada/AdaSAT
 
 # Sergey Popov <[email protected]> (2024-03-05)
 # games-strategy/seven-kingdoms does not build on musl,

Reply via email to