Test ran at 2025-07-20 01:08:47.385398+00:00 SOLUTION: chacha20=0.1.0: ChaCha20 implementation in Ada. Origin: commit bdbedfe4a7a49c74512919aed02a2dbecfa82c72 from https://github.com/m4t3uz/chacha20.git Properties: Author: Mateus de Lima Oliveira Description: ChaCha20 implementation in Ada. License: MIT Maintainer: Mateus de Lima Oliveira Maintainers_Logins: m4t3uz Name: chacha20 Tag: chacha20 Tag: security Tag: cryptography Version: 0.1.0 Website: https://ativarsoft.com LOG: [alr test] Testing chacha20=0.1.0 [alr test] Spawning retrieval for remote crate: alr -d -n get chacha20=0.1.0 Note: Deploying chacha20=0.1.0... chacha20=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 chacha20=0.1.0/chacha20.gpr... Setup [mkdir] object directory for project Chacha20 [mkdir] library directory for project Chacha20 Compile [Ada] chacha20_config.ads [Ada] chacha20.adb Build Libraries [gprlib] Chacha20.lexch [archive] libChacha20.a [index] libChacha20.a Success: Build finished successfully in 1.18 seconds. Found declared GPR file: chacha20.gpr [alr test] Test completed SUCCESSFULLY