Software development; mainly Ada, mainly on macOS.
This note reports on problems people may come across with downloaded packages under macOS 15 (Sequoia).
