summaryrefslogtreecommitdiff
path: root/profiles/features
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-09-16 17:00:58 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-09-16 17:00:58 +0100
commit7b830374520118e805fdd214530a389653750f51 (patch)
tree1f6ef2872a3f89b278b2d5c7f82f36df335dce30 /profiles/features
parent3c490942d0d98701d1c0971e60911fa6bd3ecb76 (diff)
gentoo auto-resync : 16:09:2023 - 17:00:58
Diffstat (limited to 'profiles/features')
-rw-r--r--profiles/features/musl/package.mask4
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/features/musl/package.mask b/profiles/features/musl/package.mask
index 3fe25efb4d1c..e5e62e77cf30 100644
--- a/profiles/features/musl/package.mask
+++ b/profiles/features/musl/package.mask
@@ -3,6 +3,10 @@
# Maciej Barć <xgqt@gentoo.org> (2023-09-16)
# Binary package, which is compiled against glibc
+dev-lang/dafny-bin
+
+# Maciej Barć <xgqt@gentoo.org> (2023-09-16)
+# Binary package, which is compiled against glibc
app-shells/pwsh-bin
# Maciej Barć <xgqt@gentoo.org> (2023-07-01)