diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-09-16 17:00:58 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-09-16 17:00:58 +0100 |
| commit | 7b830374520118e805fdd214530a389653750f51 (patch) | |
| tree | 1f6ef2872a3f89b278b2d5c7f82f36df335dce30 /profiles/features | |
| parent | 3c490942d0d98701d1c0971e60911fa6bd3ecb76 (diff) | |
gentoo auto-resync : 16:09:2023 - 17:00:58
Diffstat (limited to 'profiles/features')
| -rw-r--r-- | profiles/features/musl/package.mask | 4 |
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) |