summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-03-15 08:39:49 +0100
committerAlfredo Tupone <tupone@gentoo.org>2024-03-15 12:00:47 +0100
commitec7b14732cb17b1b186dac6b9b0259cffe6dc3a5 (patch)
tree0c6d5508ebce81f14f43cb843c86e4cd201f099c /profiles/features
parentmedia-libs/oneVPL-intel-gpu: drop 23.4.3, 24.1.1 (diff)
downloadgentoo-ec7b14732cb17b1b186dac6b9b0259cffe6dc3a5.tar.gz
gentoo-ec7b14732cb17b1b186dac6b9b0259cffe6dc3a5.tar.bz2
gentoo-ec7b14732cb17b1b186dac6b9b0259cffe6dc3a5.zip
profiles/features/musl: masking dev-ada/AdaSAT
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles/features')
-rw-r--r--profiles/features/musl/package.mask1
1 files changed, 1 insertions, 0 deletions
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 <pinkbyte@gentoo.org> (2024-03-05)
# games-strategy/seven-kingdoms does not build on musl,