Test ran at 2025-05-14 01:11:52.239573+00:00

SOLUTION:
saatana=2.0.2: SPARK/Ada Algorithms Targeting Advanced Network Applications
Origin: source archive v2.0.2.tar.gz at https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz with hash sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41
Properties:
   Author: Vinzent Saranen
   Description: SPARK/Ada Algorithms Targeting Advanced Network Applications
   Executable: test_phelix
   License: WTFPL
   Long_Description: Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
A collection of cryptographic algorithms, proven for correctness in SPARK.

Currently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)

   Maintainer: amosteo@unizar.es
   Maintainer: vinzent@heisenbug.eu
   Maintainers_Logins: mosteo
   Maintainers_Logins: Jellix
   Name: saatana
   Project_File: saatana.gpr
   Tag: cryptography
   Tag: spark
   Version: 2.0.2
   Website: https://github.heisenbug.eu/Saatana
Dependencies (direct):
   gnat>2020 | (>=11 & <2000)
Dependencies (solution):
   gnat=14.2.1 (gnat_external)
Dependencies (graph):
   saatana=2.0.2 --> gnat=14.2.1 (gnat_external) (>2020 | (>=11 & <2000))


LOG:
Spawning: alr -d -n get --build saatana=2.0.2
Note: Deploying saatana=2.0.2...
#=#=#                                                                          
##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...
#=#=#                                                                          

####################                                                      28.6%
#######################################################################   99.0%
######################################################################## 100.0%
Note: gprbuild=22.0.1 installed successfully.
Note: Deploying gnat_native=14.2.1...
#=#=#                                                                          

###                                                                        5.4%
#########                                                                 13.2%
##############                                                            20.3%
#####################                                                     29.4%
#########################                                                 36.0%
############################                                              39.2%
################################                                          44.6%
#####################################                                     51.9%
##########################################                                58.9%
################################################                          67.2%
####################################################                      72.7%
#########################################################                 80.2%
#############################################################             85.4%
################################################################          89.5%
######################################################################    97.6%
######################################################################## 100.0%
Note: gnat_native=14.2.1 installed successfully.
Note: Building saatana=2.0.2/saatana.gpr...
gprconfig: can't find a native toolchain for language 'ada'
gprconfig: can't find a native toolchain for language 'ada'
saatana.gpr:1:09: no compiler for language "Ada", cannot compile "saatana-crypto-lemmas.ads"
gprbuild: *** compilation phase failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/b529b678-e0f7-4d54-b2bd-ad146097f8bb/saatana_2.0.2_edf1f2f6/saatana.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/b529b678-e0f7-4d54-b2bd-ad146097f8bb/saatana_2.0.2_edf1f2f6/saatana.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/b529b678-e0f7-4d54-b2bd-ad146097f8bb/saatana_2.0.2_edf1f2f6/saatana.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]
0x7f1494713086
0x7f1494713149
[/usr/bin/alr]
0x4393dc _start at ???
0xfffffffffffffffe


Warning: saatana=2.0.2 successfully retrieved but its build failed.
Dependencies were solved as follows:

   +b gnat 14.2.1 (new,gnat_external,executable in path)
ERROR: Build ended with errors