summaryrefslogtreecommitdiff
path: root/profiles/features/musl/package.mask
diff options
context:
space:
mode:
Diffstat (limited to 'profiles/features/musl/package.mask')
-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,