Test ran at 2025-07-22 01:03:35.498806+00:00

SOLUTION:
specfun=1.0.0: Native Ada library of special functions (e.g., beta, gamma)
Origin: commit b702d270ca6e1ffb272aa2faa3fc8626ee4739a0 from https://gitlab.com/my-ada-library/specfun.git
Properties:
   Author: Riccardo Bernardini
   Description: Native Ada library of special functions (e.g., beta, gamma)
   License: MIT
   Long_Description: This is a small native Ada library that provides few special functions like Beta, Gamma and Beta Incomplete. I wrote this because I needed those functions, therefore at the moment only the functions that I needed are present. This is a pure native Ada library and there is no dependence on external FORTRAN libraries.
   Maintainer: Riccardo Bernardini <riccardo.bernardini@uniud.it>
   Maintainers_Logins: fintatarta
   Name: specfun
   Tag: special-fun
   Tag: numerics
   Tag: beta-function
   Tag: gamma-function
   Tag: beta-incomplete
   Version: 1.0.0
   Website: https://gitlab.com/my-ada-library/specfun


LOG:
[alr test] Testing specfun=1.0.0
[alr test] Spawning retrieval for remote crate: alr -d -n get specfun=1.0.0
Note: Deploying specfun=1.0.0...

specfun=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 specfun=1.0.0/specfun.gpr...
Setup
   [mkdir]        object directory for project Specfun
   [mkdir]        library directory for project Specfun
Compile
   [Ada]          specfun-generic_special_functions.adb
   [Ada]          specfun.ads
Build Libraries
   [gprlib]       Specfun.lexch
   [archive]      libSpecfun.a
   [index]        libSpecfun.a
Success: Build finished successfully in 0.36 seconds.
Found declared GPR file: specfun.gpr
[alr test] Test completed SUCCESSFULLY