Test ran at 2025-10-01 00:48:53.616566+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 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.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\2cb3b9a3-4f18-49ca-b70b-f310c2d0e489\bigints_0.1.0_f5a14868\bigints.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\2cb3b9a3-4f18-49ca-b70b-f310c2d0e489\bigints_0.1.0_f5a14868\bigints.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\2cb3b9a3-4f18-49ca-b70b-f310c2d0e489\bigints_0.1.0_f5a14868\bigints.gpr", "-cargs:Ada", "-gnatwn"] 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] 0x7ff6fe8ada2a Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284 0x7ff6fe4a595b Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111 0x7ff6fe75cba1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:22 0x7ff6fe75dd5d Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:68 0x7ff6fe682d64 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:189 0x7ff6fe6811da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff6fe6a912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff6fe7182f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff6fe717424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff6fe6a922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff6fe6a92fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff6fe6817a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff6fe681912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff6fddf3baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff6fddf341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff6fddf35ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff6fdea5dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff6fdeb2b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff6fdd816a0 Alr.Main at alr-main.adb:13 0x7ff6fdd85270 Main at b__alr-main.adb:2454 0x7ff6fdd8133e __tmainCRTStartup at ??? 0x7ff6fdd81144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7ffd33bbe8d5 [C:\Windows\SYSTEM32\ntdll.dll] 0x7ffd35968d9a stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 [D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe] 0x7ff6fe68313c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:202 0x7ff6fe6811da Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:255 0x7ff6fe6a912d Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2143 0x7ff6fe7182f9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1472 0x7ff6fe717424 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1555 0x7ff6fe6a922c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2147 0x7ff6fe6a92fa Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2127 0x7ff6fe6817a7 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:286 0x7ff6fe681912 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:114 0x7ff6fddf3baa Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:145 0x7ff6fddf341e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:113 0x7ff6fddf35ba Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-build.adb:54 0x7ff6fdea5dea Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749 0x7ff6fdeb2b0e Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:632 0x7ff6fdd816a0 Alr.Main at alr-main.adb:13 0x7ff6fdd85270 Main at b__alr-main.adb:2454 0x7ff6fdd8133e __tmainCRTStartup at ??? 0x7ff6fdd81144 mainCRTStartup at ??? [C:\Windows\System32\KERNEL32.DLL] 0x7ffd33bbe8d5 [C:\Windows\SYSTEM32\ntdll.dll] 0x7ffd35968d9a ERROR: Compilation failed.