Test ran at 2025-06-17 01:12:23.724922+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 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=14.2.1 (gnat_external) spark_unbound=0.2.1 Dependencies (graph): spark_unbound=0.2.1 --> gnat=14.2.1 (gnat_external) ((>=9.3.1 & <2000) | >=2021) vaton=0.1.0 --> gnat=14.2.1 (gnat_external) ((>=12.0.0 & <2000) | >=2021) vaton=0.1.0 --> spark_unbound=0.2.1 (~0.2.1) LOG: Spawning: alr -d -n get --build vaton=0.1.0 Note: Deploying vaton=0.1.0... Note: Deploying spark_unbound=0.2.1... Note: Alire has selected automatically this toolchain: gprbuild=22.0.1 gnat_native=14.2.1 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=22.0.1... #=#=# 0.1% ############################################# 63.3% ######################################################################## 100.0% Note: gprbuild=22.0.1 installed successfully. Note: Deploying gnat_native=14.2.1... #=#=# 0.0% # 2.5% ## 3.4% ### 5.3% #### 6.1% ##### 8.2% ###### 9.2% ######## 11.2% ######### 12.7% ######### 12.9% ######### 12.9% ########## 14.6% ############ 17.0% ############# 18.1% ############## 20.1% ############### 21.5% ################ 22.9% ################# 24.6% ################## 26.4% #################### 28.8% ##################### 30.5% ####################### 32.2% ######################## 33.4% ######################## 33.4% ######################### 35.1% ########################### 37.5% ############################ 39.3% ############################# 41.0% ############################## 42.2% ############################## 42.2% ############################### 43.9% ################################ 44.7% ################################# 46.3% ################################# 46.9% ################################### 49.2% #################################### 50.2% ##################################### 52.0% ##################################### 52.7% ####################################### 55.1% ######################################## 56.5% ########################################## 58.4% ########################################### 59.8% ############################################ 61.5% ############################################# 63.9% ############################################## 65.0% ################################################ 67.1% ################################################ 67.8% ################################################## 69.7% ################################################## 70.3% #################################################### 72.7% #################################################### 73.5% ###################################################### 75.7% ####################################################### 77.0% ######################################################## 78.5% ######################################################### 80.2% ########################################################## 81.4% ########################################################### 83.0% ############################################################ 84.4% ############################################################# 85.0% ############################################################# 85.4% ############################################################# 85.7% ############################################################# 85.8% ############################################################### 87.9% ################################################################# 90.3% ################################################################## 92.0% ################################################################### 93.7% ##################################################################### 96.1% ###################################################################### 97.2% ####################################################################### 99.1% ####################################################################### 99.9% ######################################################################## 100.0% Note: gnat_native=14.2.1 installed successfully. Note: Building vaton=0.1.0/vaton.gpr... gprconfig: can't find a native toolchain for language 'ada' gprconfig: can't find a native toolchain for language 'ada' Setup [mkdir] object directory for project Spark_Unbound [mkdir] library directory for project Spark_Unbound [mkdir] object directory for project Vaton [mkdir] library directory for project Vaton vaton.gpr:4:25: warning: libraries are not supported on this platform spark_unbound.gpr:4:25: warning: libraries are not supported on this platform spark_unbound.gpr:2:09: no compiler for language "Ada", cannot compile "spark_unbound-safe_alloc.adb" gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/d6eb2b81-bbac-4ed6-98e8-bd7fce870083/vaton_0.1.0_c07eed4c/vaton.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/d6eb2b81-bbac-4ed6-98e8-bd7fce870083/vaton_0.1.0_c07eed4c/vaton.gpr"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/d6eb2b81-bbac-4ed6-98e8-bd7fce870083/vaton_0.1.0_c07eed4c/vaton.gpr"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/usr/bin/alr] 0xe16f5e Alire.Raise_Checked_Error at alire.adb:284 0xa845be Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xcef7be Alire.Spawn.Command at alire-spawn.adb:21 0xcefdde Alire.Spawn.Gprbuild at alire-spawn.adb:41 0xc31d1f Alire.Roots.Build at alire-roots.adb:186 0xc304da Alire.Roots.Build at alire-roots.adb:252 0xc53d6f Alire.Roots.Traverse at alire-roots.adb:2075 0xcba1fd Alire.Solutions.Traverse.Visit at alire-solutions.adb:1480 0xcb9344 Alire.Solutions.Traverse at alire-solutions.adb:1563 0xc53e62 Alire.Roots.Traverse at alire-roots.adb:2079 0xc53f21 Alire.Roots.Traverse at alire-roots.adb:2059 0xc30a46 Alire.Roots.Build at alire-roots.adb:283 0xc30b2b Alire.Roots.Build at alire-roots.adb:111 0x4a5e38 Alr.Commands.Get.Retrieve at alr-commands-get.adb:205 0x4a94f3 Alr.Commands.Get.Execute at alr-commands-get.adb:378 0x4a96a1 Alr.Commands.Get.Execute at alr-commands-get.adb:256 0x533c96 Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x53eff7 Alr.Commands.Execute at alr-commands.adb:561 0x43953a Alr.Main at alr-main.adb:13 0x43c1d3 Main at b__alr-main.adb:2299 [/lib64/libc.so.6] 0x7fad4fa1d086 0x7fad4fa1d149 [/usr/bin/alr] 0x4393dc _start at ??? 0xfffffffffffffffe Warning: vaton=0.1.0 successfully retrieved but its build failed. Dependencies were solved as follows: +b gnat 14.2.1 (new,gnat_external,executable in path) + spark_unbound 0.2.1 (new) ERROR: Build ended with errors