Test ran at 2025-07-25 13:25:45.529681+00:00

SOLUTION:
qoi=0.1.0: Ada/SPARK implementation of the Quite Ok Image format
Origin: commit 25d61809e0e520abec78afd94bfae8a8140414c3 from https://github.com/Fabien-Chouteau/qoi-spark.git
Properties:
   Author: Fabien Chouteau
   Author: Joffrey Huguet
   Description: Ada/SPARK implementation of the Quite Ok Image format
   License: MIT
   Maintainer: Fabien-Chouteau <chouteau@adacore.com>
   Maintainer: Joffrey Huguet <huguet@adacore.com>
   Maintainers_Logins: Fabien-Chouteau
   Maintainers_Logins: joffreyhuguet
   Name: qoi
   Tag: image
   Tag: encoding
   Tag: qoi
   Version: 0.1.0
   Website: https://github.com/Fabien-Chouteau/qoi-spark
Dependencies (direct):
   gnat>=11.2
Dependencies (solution):
   gnat=15.1.2 (gnat_native)
Dependencies (graph):
   qoi=0.1.0 --> gnat=15.1.2 (gnat_native) (>=11.2)


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

qoi=0.1.0 successfully retrieved.
Dependencies were solved as follows:

   +b gnat 15.1.2 (new,gnat_native,binary)
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building qoi=0.1.0/qoi.gpr...
Setup
   [mkdir]        object directory for project Qoi
   [mkdir]        library directory for project Qoi
Compile
   [Ada]          qoi.adb
Build Libraries
   [gprlib]       Qoi.lexch
   [archive]      libQoi.a
   [index]        libQoi.a
Success: Build finished successfully in 0.50 seconds.
Found declared GPR file: qoi.gpr
[alr test] Test completed SUCCESSFULLY