mosml: update to latest upstream, make -dynlibs its subport, close a bunch of old tickets#19629
Merged
mascguy merged 4 commits intomacports:masterfrom Aug 15, 2023
Merged
mosml: update to latest upstream, make -dynlibs its subport, close a bunch of old tickets#19629mascguy merged 4 commits intomacports:masterfrom
mascguy merged 4 commits intomacports:masterfrom
Commits
Commits on Aug 15, 2023
- committed