Alejandro R Mosteo

Diagnose and revert https://github.com/alire-project/alire-index/pull/1187

[RFC] Compilers, cross-compilers, dependencies

2

This is just a bit of a musing, to see it can go anywhere. In the context of #723 and crates requiring different compilers (native, cross-compilers), I wonder if an...

This would be a shortcut for when someone just wants to run a binary with no intention of developing or installing. Right now, the shortest alternative is: ``` alr get...

Usual setup in which `lib` is tested via a nested `libtest`. If `lib` itself is using a pin to a missing directory, the update will fail. This must indeed fail,...

Too long paths on Windows

4

See https://github.com/alire-project/alire-index/pull/1227#issuecomment-2364101504 In summary: between the root location of the cache, the longish build hashes, and a crate containing long paths, we've hit (once for now) some kind of limit...

I found a situation that can be reproduced thus: ``` with JSON.Types; with JSON.Parsers; with Ada.Text_IO; use Ada.Text_IO; procedure Json_Bug is package Types is new JSON.Types (Long_Long_Integer, Float); package Parsers...

Starting with GNAT 13 one finds: ``` generic package Ada.Containers.Formal_Vectors with SPARK_Mode is pragma Compile_Time_Error (True, "This package has been moved to the SPARK library shipped with any" & "...

Created via `alr publish` with `alr 3.0.0-dev`

Different parsed value for large float in Linux ARM architecture

2

Now, I'm not 100% sure this is a problem in Ada_TOML, but I guess this is the best place to start. While attempting to build Alire on the new Linux...