diff options
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) |