Test ran at 2025-08-02 00:51:38.560252+00:00 SOLUTION: blake2s=0.1.3: SPARK83 implementation of the BLAKE2s hash function Origin: commit 63b5d12efb5f96afb8148dd3eb7248ac1449f68d from https://github.com/lkujaw/blake2s.git Properties: Author: Lev Kujawski Description: SPARK83 implementation of the BLAKE2s hash function License: MIT-0 Maintainer: Lev Kujawski Maintainers_Logins: lkujaw Name: blake2s Tag: ada1987 Tag: spark Tag: hash Tag: blake2 Tag: blake2s Version: 0.1.3 Website: https://github.com/lkujaw/blake2s LOG: [alr test] Testing blake2s=0.1.3 [alr test] Spawning retrieval for remote crate: alr -d -n get blake2s=0.1.3 Note: Deploying blake2s=0.1.3... blake2s=0.1.3 successfully retrieved. There are no dependencies. [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building blake2s=0.1.3/blake2s.gpr... Setup [mkdir] object directory for project BLAKE2S [mkdir] library directory for project BLAKE2S Compile [Ada] blake2s.adb [Ada] quadlets.adb [Ada] octets.ads [Ada] octearra.ads blake2s.adb:870:25: warning: value conversion implemented by copy [enabled by default] blake2s.adb:870:25: warning: use pair of types with same root type [enabled by default] blake2s.adb:870:25: warning: to avoid new object in RM 4.6(58.5/5) [enabled by default] blake2s.adb:878:33: warning: value conversion implemented by copy [enabled by default] blake2s.adb:878:33: warning: use pair of types with same root type [enabled by default] blake2s.adb:878:33: warning: to avoid new object in RM 4.6(58.5/5) [enabled by default] blake2s.adb:886:25: warning: value conversion implemented by copy [enabled by default] blake2s.adb:886:25: warning: use pair of types with same root type [enabled by default] blake2s.adb:886:25: warning: to avoid new object in RM 4.6(58.5/5) [enabled by default] Build Libraries [gprlib] b2sa.lexch [archive] libb2sa.a [index] libb2sa.a Success: Build finished successfully in 1.96 seconds. Found declared GPR file: blake2s.gpr [alr test] Test completed SUCCESSFULLY