Simon Wright

There are other framework directories (e.g. `/System/Library/Frameworks`) but `/Library/Frameworks` is the nearest we have to a system directory accessible to us punters. (I think that `/System/Library/Frameworks` is in fact a...

In the meantime, see [here](https://github.com/simonjwright/alire-index.mac)

Can the download pages at alire.ada.dev and ada-lang.io tell what machine architecture the viewer is running? If not, it’s a straightforward matter to merge an aarch64 binary and an x86_64...

The ARM & AARMs at ada-auth number paragraphs in (parens), and you can link directly to them: e.g. [AARM 13.7(34.a)](http://www.ada-auth.org/standards/2xaarm/html/AA-13-7.html#p34.a). I’ve found this very valuable in the past (perhaps because...

I’ve only just had to resolve a similar problem myself. macOS dylibs are great until they behave like this. Fix by ``` $ cd gnatprove_xxx/libexec/spark/bin $ install_name_tool -change \ /usr/local/opt/gmp/lib/libgmp.10.dylib...