Test ran at 2025-02-16 01:13:00.481005+00:00

SOLUTION:
basalt=0.3.0: Collection of formally verified building blocks
Origin: source archive v0.3.0.tar.gz at https://github.com/Componolit/basalt/archive/v0.3.0.tar.gz with hash sha512:bbbf5ac9ac03ef85125b93a23541848fddf42a6ba878a6d35fe0282338b5e0f5c68a3be97dd7e3964bb01744e3ae4589a6ace3faceab9de9971c9d7860c40ae1
Properties:
   Description: Collection of formally verified building blocks
   License: AGPL-3.0-only
   Maintainer: kliemann@adacore.com
   Maintainers_Logins: jklmnn
   Name: basalt
   Tag: embedded
   Tag: nostd
   Tag: queue
   Tag: spark
   Tag: stack
   Tag: string
   Tag: utils
   Version: 0.3.0


LOG:
Spawning: alr -d -n get --build basalt=0.3.0
Note: Deploying basalt=0.3.0...
#=#=#                                                                         
##O#-#                                                                        
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.3%
####################################                                      50.4%
######################################################################## 100.0%
Note: gprbuild=22.0.1 installed successfully.
Note: Deploying gnat_native=14.2.1...
#=#=#                                                                         

                                                                           0.1%
####                                                                       5.6%
#########                                                                 13.7%
###############                                                           20.8%
######################                                                    30.7%
#############################                                             40.6%
###################################                                       49.9%
###########################################                               60.3%
##################################################                        70.4%
#########################################################                 80.0%
################################################################          89.7%
#######################################################################   99.2%
######################################################################## 100.0%
Note: gnat_native=14.2.1 installed successfully.
Note: Building basalt=0.3.0/basalt.gpr...
Setup
   [mkdir]        object directory for project Basalt
   [mkdir]        library directory for project Basalt
Compile
   [Ada]          basalt.ads
   [Ada]          basalt-slicer.adb
   [Ada]          basalt-queue.adb
   [Ada]          basalt-strings_generic.adb
   [Ada]          basalt-strings.adb
   [Ada]          basalt-stack.adb
Build Libraries
   [gprlib]       basalt.lexch
   [link library] libbasalt.so

basalt=0.3.0 successfully retrieved and built.
There are no dependencies.
Found declared GPR file: basalt.gpr