Test ran at 2025-02-16 01:11:22.928575+00:00

SOLUTION:
bigints=0.1.0: Experimental SPARK Constant Time Big Integer library
Origin: commit f5a14868e8a0e2cf8e273c592c11b8de02e81164 from https://github.com/AldanTanneo/bigints.git
Properties:
   Author: Cesar SAGAERT
   Build Switches: 
   Description: Experimental SPARK Constant Time Big Integer library
   License: MIT
   Maintainer: Cesar SAGAERT <sagaert@adacore.com>
   Maintainers_Logins: AldanTanneo
   Name: bigints
   Tag: spark
   Tag: cryptography
   Tag: prime-field
   Tag: integers
   Version: 0.1.0
   Website: https://github.com/AldanTanneo/bigints


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

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

###                                                                        4.3%
#####                                                                      8.0%
########                                                                  11.9%
#############                                                             18.9%
################                                                          23.2%
##################                                                        26.4%
#####################                                                     29.4%
#######################                                                   32.2%
#########################                                                 35.0%
##########################                                                36.7%
#############################                                             41.2%
##################################                                        47.4%
#######################################                                   54.9%
#############################################                             63.5%
##################################################                        70.8%
########################################################                  77.9%
############################################################              83.5%
##################################################################        91.8%
######################################################################## 100.0%
Note: gnat_native=14.2.1 installed successfully.
Note: Building bigints=0.1.0/bigints.gpr...
Setup
   [mkdir]        object directory for project Bigints
   [mkdir]        library directory for project Bigints
Compile
   [Ada]          bigints_config.ads
   [Ada]          bigints-f25519.ads
   [Ada]          bigints-u256s.ads
   [Ada]          bigints-u256_modulo.ads
   [Ada]          bigints-const_choice.adb
   [Ada]          bigints-primitives.adb
   [Ada]          bigints-modular.adb
   [Ada]          bigints-machine_ints.ads
   [Ada]          bigints-uints-modulo_ops.adb
   [Ada]          bigints-uints.adb
   [Ada]          bigints.ads
Build Libraries
   [gprlib]       Bigints.lexch
   [archive]      libBigints.a
   [index]        libBigints.a

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