The file alr-platform.ads is duplicated for every platform. This obviously violates proper encapsulation. Only the bodies should be platform-specific.

A good moment to rework this would be when migrating platform detection from alr to alire.

Related: see the comment in Alire.Main about this.