Test ran at 2024-10-16 12:42:06.970578+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=12.2.1 (gnat_native) (installed)
Dependencies (graph):
   qoi=0.1.0 --> gnat=12.2.1 (gnat_native) (>=11.2)


LOG:
Note: Deploying qoi=0.1.0...
Note: Building qoi/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
Build finished successfully in 0.31 seconds.

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

   +i gnat 12.2.1 (new,installed,gnat_native)
Found declared GPR file: qoi.gpr