Test ran at 2025-02-05 13:09:19.921334+00:00 SOLUTION: labs_solar_system=1.2.0: A set of SDL-based exercises to learn Ada Origin: commit 41b041801e30f38f4af8c8bca2c1f88c9eb9710d from https://github.com/adacore/training_labs_solar_system.git Properties: Author: Léo Germond Description: A set of SDL-based exercises to learn Ada Executable: getting_started_main License: GPL-3.0-or-later Maintainer: Léo Germond Maintainers_Logins: leogermond Name: labs_solar_system Tag: training Tag: labs Tag: graphics Tag: windowed Version: 1.2.0 Website: https://public-training.adacore.com/doc/labs/solar_system/index.html Dependencies (direct): mage~0.6.1 Dependencies (solution): libsdl2=2.26.0 libsdl2_image=2.8.2 libsdl2_mixer=2.6.3 libsdl2_ttf=2.20.2 mage=0.6.1 make=4.3.0 sdlada=2.5.20 Dependencies (graph): labs_solar_system=1.2.0 --> mage=0.6.1 (~0.6.1) mage=0.6.1 --> sdlada=2.5.20 (^2.5.4-1) sdlada=2.5.20 --> libsdl2=2.26.0 (^2.0.0) sdlada=2.5.20 --> libsdl2_image=2.8.2 (^2.0.0) sdlada=2.5.20 --> libsdl2_mixer=2.6.3 (^2.0.0) sdlada=2.5.20 --> libsdl2_ttf=2.20.2 (^2.0.0) sdlada=2.5.20 --> make=4.3.0 (*) LOG: Spawning: alr -d -n get --build labs_solar_system=1.2.0 Note: Deploying labs_solar_system=1.2.0... Note: Running pre-build actions for sdlada=2.5.20... make: Entering directory '/root/.local/share/alire/builds/sdlada_2.5.20_cd53c280/f6d652da460f107c8a462d972623c5ea56d7437e3c97fb205477693e0bc1d818/build/gnat' mkdir -p gen/src/ make: Leaving directory '/root/.local/share/alire/builds/sdlada_2.5.20_cd53c280/f6d652da460f107c8a462d972623c5ea56d7437e3c97fb205477693e0bc1d818/build/gnat' Note: Building labs_solar_system=1.2.0/labs_solar_system.gpr... Setup [mkdir] object directory for project Labs_Solar_System [mkdir] exec directory for project Labs_Solar_System Compile [Ada] getting_started_main.adb [Ada] draw.adb [Ada] draw-config.use-mage.ads [Ada] tsv_render.adb [Ada] float_maths.ads [Ada] vector_maths_trig.adb [Ada] vector_maths.ads Bind [gprbind] getting_started_main.bexch [Ada] getting_started_main.ali Link [link] getting_started_main.adb labs_solar_system=1.2.0 successfully retrieved and built. Dependencies were solved as follows: +b libsdl2 2.26.0 (new,indirect,system package) +b libsdl2_image 2.8.2 (new,indirect,system package) +b libsdl2_mixer 2.6.3 (new,indirect,system package) +b libsdl2_ttf 2.20.2 (new,indirect,system package) + mage 0.6.1 (new) +b make 4.3.0 (new,indirect,system package) + sdlada 2.5.20 (new,indirect) Found declared GPR file: labs_solar_system.gpr