Test ran at 2025-07-25 12:47:30.225406+00:00 SOLUTION: hnumerics=1.0.0: Operations for dual numbers Origin: commit d52fd514a649eef5f3e683607b05299abdb7c039 from https://github.com/rehartmann/hnumerics.git Properties: Author: Rene Hartmann Description: Operations for dual numbers License: BSD-3-Clause Maintainer: Rene Hartmann Maintainers_Logins: rehartmann Name: hnumerics Tag: dual-numbers Tag: numerics Version: 1.0.0 Website: https://github.com/rehartmann/hnumerics LOG: [alr test] Testing hnumerics=1.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get hnumerics=1.0.0 Note: Deploying hnumerics=1.0.0... hnumerics=1.0.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 hnumerics=1.0.0/hnumerics.gpr... Setup [mkdir] object directory for project Hnumerics [mkdir] library directory for project Hnumerics Compile [Ada] hnumerics_config.ads [Ada] hnumerics.ads [Ada] hnumerics-generic_dual_types.adb [Ada] hnumerics-generic_dual_elementary_functions.adb Build Libraries [gprlib] Hnumerics.lexch [archive] libHnumerics.a [index] libHnumerics.a Success: Build finished successfully in 1.14 seconds. Found declared GPR file: hnumerics.gpr [alr test] Test completed SUCCESSFULLY