Test ran at 2025-07-31 00:51:27.840636+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:
[alr test] Testing bigints=0.1.0
[alr test] Spawning retrieval for remote crate: alr -d -n get bigints=0.1.0
Note: Deploying bigints=0.1.0...

bigints=0.1.0 successfully retrieved.
There are no dependencies.
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
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-machine_ints.ads
   [Ada]          bigints-uints-modulo_ops.adb
   [Ada]          bigints-modular.adb
   [Ada]          bigints-const_choice.adb
   [Ada]          bigints-uints.adb
   [Ada]          bigints-u256_modulo.ads
   [Ada]          bigints-f25519.ads
   [Ada]          bigints-u256s.ads
   [Ada]          bigints-primitives.adb
   [Ada]          bigints.ads
Build Libraries
   [gprlib]       Bigints.lexch
   [archive]      libBigints.a
   [index]        libBigints.a
Success: Build finished successfully in 1.26 seconds.
Found declared GPR file: bigints.gpr
[alr test] Test completed SUCCESSFULLY