Test ran at 2025-02-27 12:26:53.169335+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\186bd7e7-5aee-4861-b5fb-988c4f0844e8\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\186bd7e7-5aee-4861-b5fb-988c4f0844e8\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\186bd7e7-5aee-4861-b5fb-988c4f0844e8\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]
0x7ff61865b6aa Semantic_Versioning.Basic.Restrictions.First_Index at alire.adb:284
0x7ff6182762cb Semantic_Versioning.Basic.Restrictions.First_Index at alire-os_lib-subprocess.adb:111
0x7ff618519ee1 Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:21
0x7ff61851a5bf Semantic_Versioning.Basic.Restrictions.First_Index at alire-spawn.adb:41
0x7ff61844e35c Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:186
0x7ff61844c84a Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:252
0x7ff6184729c9 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2075
0x7ff6184e10ed Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1480
0x7ff6184e0218 Semantic_Versioning.Basic.Restrictions.First_Index at alire-solutions.adb:1563
0x7ff618472ac8 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2079
0x7ff618472b96 Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:2059
0x7ff61844ce0e Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:283
0x7ff61844cf0a Semantic_Versioning.Basic.Restrictions.First_Index at alire-roots.adb:111
0x7ff617c14f23 Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:205
0x7ff617c188df Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:378
0x7ff617c18a9a Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands-get.adb:256
0x7ff617cb1628 Semantic_Versioning.Basic.Restrictions.First_Index at clic-subcommand-instance.adb:749
0x7ff617cbdeeb Semantic_Versioning.Basic.Restrictions.First_Index at alr-commands.adb:561
0x7ff617b916a0 Alr.Main at alr-main.adb:13
0x7ff617b94f2e Main at b__alr-main.adb:2306
0x7ff617b9133e __tmainCRTStartup at ???
0x7ff617b91144 mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffe09bd4cae
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffe0a71edc9


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