Test ran at 2025-02-15 01:34:22.800068+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: 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