Test ran at 2025-07-19 13:10:58.547486+00:00

SOLUTION:
vaton=0.1.0: Verified Ascii To Number conversion written in Ada/SPARK
Origin: commit c07eed4c36f9950c4bf93efb069eb6346fcca07f from https://github.com/mhatzl/vaton.git
Properties:
   Author: Manuel Hatzl
   Build Switches: 
   Description: Verified Ascii To Number conversion written in Ada/SPARK
   License: MIT
   Long_Description: This library offers formally verified functions to convert character streams into the smallest standard type representation the resulting number may fit in.
The allowed formats are based on the [JSON-Number format](https://www.json.org/json-en.html), with the addition to allow single underscores between digits.

**Note:** Only decimal based numbers are supported!

**Examples:**

```
-10_000 -> Standard.Integer
1.0 -> Standard.Float
1e4 -> Standard.Float
```

   Maintainer: Manuel Hatzl <hatzlmanuel@outlook.com>
   Maintainers_Logins: mhatzl
   Name: vaton
   Tag: spark
   Version: 0.1.0
   Website: https://github.com/mhatzl/vaton
Dependencies (direct):
   gnat(>=12.0.0 & <2000) | >=2021
   spark_unbound~0.2.1
Dependencies (solution):
   gnat=15.1.2 (gnat_native)
   spark_unbound=0.2.1
Dependencies (graph):
   spark_unbound=0.2.1 --> gnat=15.1.2 (gnat_native) ((>=9.3.1 & <2000) | >=2021)
   vaton=0.1.0         --> gnat=15.1.2 (gnat_native) ((>=12.0.0 & <2000) | >=2021)
   vaton=0.1.0         --> spark_unbound=0.2.1 (~0.2.1)


LOG:
[alr test] Testing vaton=0.1.0
[alr test] Spawning retrieval for remote crate: alr -d -n get vaton=0.1.0
Note: Deploying vaton=0.1.0...
Note: Deploying spark_unbound=0.2.1...

vaton=0.1.0 successfully retrieved.
Dependencies were solved as follows:

   +b gnat          15.1.2 (new,gnat_native,binary)
   +  spark_unbound 0.2.1  (new)
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building vaton=0.1.0/vaton.gpr...
/root/.local/share/alire/toolchains/gprbuild_25.0.1_9a2e6cfb/bin/gprbuild: /lib64/libc.so.6: version `GLIBC_2.35' not found (required by /root/.local/share/alire/toolchains/gprbuild_25.0.1_9a2e6cfb/bin/gprbuild)
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/8aab4c86-8d89-4a21-ad74-d06453a4786c/vaton_0.1.0_c07eed4c/vaton.gpr", "-cargs:Ada", "-gnatwn"] exited with code 1
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/8aab4c86-8d89-4a21-ad74-d06453a4786c/vaton_0.1.0_c07eed4c/vaton.gpr", "-cargs:Ada", "-gnatwn"] exited with code 1
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/8aab4c86-8d89-4a21-ad74-d06453a4786c/vaton_0.1.0_c07eed4c/vaton.gpr", "-cargs:Ada", "-gnatwn"] exited with code 1
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[/usr/bin/alr]
0xe75bc6 Alire.Raise_Checked_Error at alire.adb:284
0xac1a54 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111
0xd40276 Alire.Spawn.Command at alire-spawn.adb:22
0xd412ee Alire.Spawn.Gprbuild at alire-spawn.adb:68
0xc748cb Alire.Roots.Build at alire-roots.adb:189
0xc7301a Alire.Roots.Build at alire-roots.adb:255
0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143
0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472
0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555
0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147
0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127
0xc7359b Alire.Roots.Build at alire-roots.adb:286
0xc736d7 Alire.Roots.Build at alire-roots.adb:114
0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145
0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113
0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54
0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x5472be Alr.Commands.Execute at alr-commands.adb:632
0x43d48a Alr.Main at alr-main.adb:13
0x4403a3 Main at b__alr-main.adb:2445
[/lib64/libc.so.6]
0x7f00d0d2d5ce
0x7f00d0d2d67e
[/usr/bin/alr]
0x43d323 _start at ???
0xfffffffffffffffe

stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED
stderr: alire-roots.adb:202
stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202
[/usr/bin/alr]
0xc74cc7 Alire.Roots.Build at alire-roots.adb:202
0xc7301a Alire.Roots.Build at alire-roots.adb:255
0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143
0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472
0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555
0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147
0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127
0xc7359b Alire.Roots.Build at alire-roots.adb:286
0xc736d7 Alire.Roots.Build at alire-roots.adb:114
0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145
0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113
0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54
0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x5472be Alr.Commands.Execute at alr-commands.adb:632
0x43d48a Alr.Main at alr-main.adb:13
0x4403a3 Main at b__alr-main.adb:2445
[/lib64/libc.so.6]
0x7f00d0d2d5ce
0x7f00d0d2d67e
[/usr/bin/alr]
0x43d323 _start at ???
0xfffffffffffffffe

ERROR: Compilation failed.