Daly Brown

Have you worked on this yet? I might have some time to poke away at it over the next few weeks. Let me know.

We just used our public GitHub logins for now, but the `alr publish` command seems to require the fields be present, regardless of the index (or just assumes you only...

I switched to the `v1.2.2` branch which I used to build and use and that too is experiencing this property count issue. Now I'm confused... the only change I've made...

> I've seen strange bugs with expression functions in the past, but I'm surprised to see a regression in going to GNAT 13. There are some other regressions in GNAT...

Me too! I currently use `gnat`, `gprbuild`, and `alire` from Debian for `arm64` development. However, I build `gnatprove`, `gnatcov`, `ada_language_server`, `gnattest`, etc. myself for arm64. So +1 to this request!...

@pmunts we internally build our own ARM64 linux toolchain for Ada (including all those tools I mentioned above and more). It's not in our public repository at the moment but...

How soon do you need it all? I'm swamped over the next few weeks but early spring I can move all our toolchains builds to GitHub. I planned to do...

I noticed a bit of work on arm64 tooling ... but it seems mostly for Apple Silicon. Is it still the plan to have all the tooling available for linux...

> Hi @dalybrown, I'm not involved in the work on particular compiler architectures. I guess @Fabien-Chouteau will know better. Right on. I'll let him reply and go from there.

> Hi, > > > I noticed a bit of work on arm64 tooling ... but it seems mostly for Apple Silicon. > > Because GitHub now provides Actions runners...