Test ran at 2025-02-17 00:48:05.997485+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: 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-f25519.ads [Ada] bigints-u256s.ads [Ada] bigints-u256_modulo.ads [Ada] bigints-const_choice.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 bigints-const_choice.adb:42:25: warning: "Always_Terminates" is not a valid aspect identifier [enabled by default] 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-const_choice.adb failed compilation of bigints-u256_modulo.ads failed compilation of bigints-u256s.ads failed compilation of bigints-f25519.ads failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/3464bb24-1946-47e3-95d8-6abcb707d51f/bigints_0.1.0_f5a14868/bigints.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/3464bb24-1946-47e3-95d8-6abcb707d51f/bigints_0.1.0_f5a14868/bigints.gpr"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/3464bb24-1946-47e3-95d8-6abcb707d51f/bigints_0.1.0_f5a14868/bigints.gpr"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr] 0xe16f5e Alire.Raise_Checked_Error at alire.adb:284 0xa845be Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xcef7be Alire.Spawn.Command at alire-spawn.adb:21 0xcefdde Alire.Spawn.Gprbuild at alire-spawn.adb:41 0xc31d1f Alire.Roots.Build at alire-roots.adb:186 0xc304da Alire.Roots.Build at alire-roots.adb:252 0xc53d6f Alire.Roots.Traverse at alire-roots.adb:2075 0xcba1fd Alire.Solutions.Traverse.Visit at alire-solutions.adb:1480 0xcb9344 Alire.Solutions.Traverse at alire-solutions.adb:1563 0xc53e62 Alire.Roots.Traverse at alire-roots.adb:2079 0xc53f21 Alire.Roots.Traverse at alire-roots.adb:2059 0xc30a46 Alire.Roots.Build at alire-roots.adb:283 0xc30b2b Alire.Roots.Build at alire-roots.adb:111 0x4a5e38 Alr.Commands.Get.Retrieve at alr-commands-get.adb:205 0x4a94f3 Alr.Commands.Get.Execute at alr-commands-get.adb:378 0x4a96a1 Alr.Commands.Get.Execute at alr-commands-get.adb:256 0x533c96 Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x53eff7 Alr.Commands.Execute at alr-commands.adb:561 0x43953a Alr.Main at alr-main.adb:13 0x43c1d3 Main at b__alr-main.adb:2299 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f20eea2a1c8 0x7f20eea2a289 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr] 0x4393dc _start at ??? 0xfffffffffffffffe Warning: bigints=0.1.0 successfully retrieved but its build failed. There are no dependencies. ERROR: Build ended with errors