summaryrefslogtreecommitdiff
path: root/profiles/features
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-03-15 12:47:43 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-03-15 12:47:43 +0000
commit6e8d3793323b8f24be801a4aaf31cdd31a8483e9 (patch)
treeeba96ef018d8dea02be411ac222fd9eb6dd4edf7 /profiles/features
parentbc5dfb0671fb08c7da579b38b0e6abdd19da103f (diff)
gentoo auto-resync : 15:03:2024 - 12:47:43
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,