Test ran at 2025-06-08 12:35:54.413759+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
bigints-machine_ints.ads:91:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:95:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:119:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:123:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:127:30: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:131:30: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:91:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:95:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:119:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:123:29: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:127:30: error: aspect "Post" is not allowed for a static expression function
bigints-machine_ints.ads:131:30: error: aspect "Post" is not allowed for a static expression function

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

gprbuild: *** compilation phase failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\842b0231-a7c0-4a80-b1a3-d737de254205\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\842b0231-a7c0-4a80-b1a3-d737de254205\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\842b0231-a7c0-4a80-b1a3-d737de254205\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]
0x7ff6b56bb6aa Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284
0x7ff6b52d62cb Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111
0x7ff6b5579ee1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:21
0x7ff6b557a5bf Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:41
0x7ff6b54ae35c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:186
0x7ff6b54ac84a Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:252
0x7ff6b54d29c9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2075
0x7ff6b55410ed Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1480
0x7ff6b5540218 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1563
0x7ff6b54d2ac8 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2079
0x7ff6b54d2b96 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2059
0x7ff6b54ace0e Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:283
0x7ff6b54acf0a Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:111
0x7ff6b4c74f23 Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:205
0x7ff6b4c788df Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:378
0x7ff6b4c78a9a Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:256
0x7ff6b4d11628 Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749
0x7ff6b4d1deeb Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:561
0x7ff6b4bf16a0 Alr.Main at alr-main.adb:13
0x7ff6b4bf4f2e Main at b__alr-main.adb:2306
0x7ff6b4bf133e __tmainCRTStartup at ???
0x7ff6b4bf1144 mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffc4c164cae
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffc4d41edc9


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