Test ran at 2025-02-17 00:52:56.435169+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.ads
   [Ada]          bigints-uints.adb
   [Ada]          bigints-uints-modulo_ops.adb
gnat1: invalid switch: -gnat2022
gnat1: invalid switch: -gnat2022
gnat1: invalid switch: -gnat2022
gnat1: invalid switch: -gnat2022

   compilation of bigints-uints-modulo_ops.adb failed
   compilation of bigints-uints.adb failed
   compilation of bigints.ads failed
   compilation of bigints_config.ads failed

gprbuild: *** compilation phase failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\5e92fd29-4663-405a-bbe4-3eb915c6f8ba\bigints_0.1.0_f5a14868\bigints.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\5e92fd29-4663-405a-bbe4-3eb915c6f8ba\bigints_0.1.0_f5a14868\bigints.gpr"] exited with code 4
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\5e92fd29-4663-405a-bbe4-3eb915c6f8ba\bigints_0.1.0_f5a14868\bigints.gpr"] exited with code 4
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe]
0x7ff681f6b6aa Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284
0x7ff681b862cb Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111
0x7ff681e29ee1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:21
0x7ff681e2a5bf Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:41
0x7ff681d5e35c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:186
0x7ff681d5c84a Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:252
0x7ff681d829c9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2075
0x7ff681df10ed Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1480
0x7ff681df0218 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1563
0x7ff681d82ac8 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2079
0x7ff681d82b96 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2059
0x7ff681d5ce0e Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:283
0x7ff681d5cf0a Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:111
0x7ff681524f23 Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:205
0x7ff6815288df Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:378
0x7ff681528a9a Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:256
0x7ff6815c1628 Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749
0x7ff6815cdeeb Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:561
0x7ff6814a16a0 Alr.Main at alr-main.adb:13
0x7ff6814a4f2e Main at b__alr-main.adb:2306
0x7ff6814a133e __tmainCRTStartup at ???
0x7ff6814a1144 mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffce7724cae
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffce867edc9


Warning: bigints=0.1.0 successfully retrieved but its build failed.
There are no dependencies.
ERROR: Build ended with errors