Test ran at 2025-02-04 22:39:05.129724+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_native)
Dependencies (graph):
   saatana=2.0.2 --> gnat=14.2.1 (gnat_native) (>2020 | (>=11 & <2000))


LOG:
Spawning: alr -d -n get --build saatana=2.0.2
Note: Deploying saatana=2.0.2...
#=#=#                                                                          
##O#-#                                                                         
Note: Deploying gnat_native=14.2.1...
#=#=#                                                                          

                                                                           0.0%
######                                                                     9.2%
#############                                                             18.3%
###################                                                       27.7%
###########################                                               38.1%
###################################                                       48.8%
##########################################                                59.4%
#################################################                         68.5%
########################################################                  78.8%
################################################################          89.4%
######################################################################    98.1%
######################################################################## 100.0%
Note: gnat_native=14.2.1 installed successfully.
Note: Building saatana=2.0.2/saatana.gpr...
Compile
   [Ada]          test_phelix_api.adb
   [Ada]          test_phelix.adb
   [Ada]          saatana.ads
   [Ada]          saatana-crypto.adb
   [Ada]          saatana-crypto-phelix.adb
   [Ada]          saatana-crypto-phelix-test_vectors.ads
   [Ada]          saatana-crypto-stream_tools.adb
Bind
   [gprbind]      test_phelix_api.bexch
   [gprbind]      test_phelix.bexch
   [Ada]          test_phelix_api.ali
   [Ada]          test_phelix.ali

--  The following additional restrictions may be applied to this partition:
pragma Restrictions (Pure_Barriers);
pragma Restrictions (No_Default_Stream_Attributes);
pragma Restrictions (No_Delay);
pragma Restrictions (No_Dynamic_Accessibility_Checks);
pragma Restrictions (No_Enumeration_Maps);
pragma Restrictions (No_Entry_Calls_In_Elaboration_Code);
pragma Restrictions (No_Exception_Registration);
pragma Restrictions (No_Finalization);
pragma Restrictions (No_Fixed_Io);
pragma Restrictions (No_Io);
pragma Restrictions (No_Implicit_Task_Allocations);
pragma Restrictions (No_Implicit_Protected_Object_Allocations);
pragma Restrictions (No_Initialize_Scalars);
pragma Restrictions (No_Local_Tagged_Types);
pragma Restrictions (No_Multiple_Elaboration);
pragma Restrictions (No_Nested_Finalization);
pragma Restrictions (No_Protected_Types);
pragma Restrictions (No_Stream_Optimizations);
pragma Restrictions (No_Streams);
pragma Restrictions (No_Tagged_Type_Registration);
pragma Restrictions (No_Task_At_Interrupt_Priority);
pragma Restrictions (No_Tasking);
pragma Restrictions (No_Unchecked_Access);
pragma Restrictions (Static_Priorities);
pragma Restrictions (Static_Storage_Size);
pragma Restrictions (No_Implementation_Identifiers);
pragma Restrictions (No_Implementation_Units);
pragma Restrictions (No_Implicit_Aliasing);
pragma Restrictions (No_Unrecognized_Aspects);
pragma Restrictions (No_Unrecognized_Pragmas);
pragma Restrictions (No_Wide_Characters);
pragma Restrictions (Static_Dispatch_Tables);
pragma Restrictions (Max_Protected_Entries => 0);
pragma Restrictions (Max_Tasks => 0);

--  The following additional restrictions may be applied to this partition:
pragma Restrictions (Pure_Barriers);
pragma Restrictions (No_Default_Stream_Attributes);
pragma Restrictions (No_Delay);
pragma Restrictions (No_Dynamic_Accessibility_Checks);
pragma Restrictions (No_Enumeration_Maps);
pragma Restrictions (No_Entry_Calls_In_Elaboration_Code);
pragma Restrictions (No_Exception_Registration);
pragma Restrictions (No_Fixed_Io);
pragma Restrictions (No_Implicit_Task_Allocations);
pragma Restrictions (No_Implicit_Protected_Object_Allocations);
pragma Restrictions (No_Initialize_Scalars);
pragma Restrictions (No_Local_Tagged_Types);
pragma Restrictions (No_Multiple_Elaboration);
pragma Restrictions (No_Nested_Finalization);
pragma Restrictions (No_Protected_Types);
pragma Restrictions (No_Stream_Optimizations);
pragma Restrictions (No_Streams);
pragma Restrictions (No_Tagged_Type_Registration);
pragma Restrictions (No_Task_At_Interrupt_Priority);
pragma Restrictions (No_Tasking);
pragma Restrictions (Static_Priorities);
pragma Restrictions (Static_Storage_Size);
pragma Restrictions (No_Implementation_Identifiers);
pragma Restrictions (No_Implementation_Units);
pragma Restrictions (No_Unrecognized_Aspects);
pragma Restrictions (No_Unrecognized_Pragmas);
pragma Restrictions (No_Wide_Characters);
pragma Restrictions (Static_Dispatch_Tables);
pragma Restrictions (Max_Protected_Entries => 0);
pragma Restrictions (Max_Tasks => 0);
Link
   [link]         test_phelix_api.adb
   [link]         test_phelix.adb

saatana=2.0.2 successfully retrieved and built.
Dependencies were solved as follows:

   +b gnat 14.2.1 (new,gnat_native,binary)
Found declared GPR file: saatana.gpr