Test ran at 2022-09-25 01:26:01.943804+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 Maintainer: Joffrey Huguet 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.1.0 (gnat_external) (installed) Dependencies (graph): qoi=0.1.0 --> gnat=12.1.0 (gnat_external) (>=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.62 seconds. qoi=0.1.0 successfully retrieved and built. Dependencies were solved as follows: +i gnat 12.1.0 (new,installed,gnat_external) Found declared GPR file: qoi.gpr