Test ran at 2025-02-09 12:22:01.099429+00:00 SOLUTION: nrf5x_hal=0.1.0: Drivers and HAL for the Nordic nRF5X micro-controller family Origin: commit 0cf20efac2d0a64ed22844edbfcdd3acbbcdb1cc from https://github.com/Fabien-Chouteau/nrf5x-hal.git Properties: Auto_Gpr_With: auto-gpr-with=false Description: Drivers and HAL for the Nordic nRF5X micro-controller family License: BSD-3-Clause Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: nrf5x_hal Project_File: nrf51.gpr Project_File: nrf52.gpr Tag: embedded Tag: nostd Tag: nrf51 Tag: nrf52 Tag: nordic Tag: drivers Tag: ble Version: 0.1.0 Website: https://github.com/AdaCore/Ada_Drivers_Library/ Dependencies (direct): cortex_m~0.2.0 gnat_arm_elf^11.2 hal~0.1.0 Dependencies (solution): cortex_m=0.2.0 hal=0.1.0 Dependencies (missing): gnat_arm_elf^11.2 (direct,missed:unavailable) Dependencies (graph): cortex_m=0.2.0 --> hal=0.1.0 (^0.1.0) nrf5x_hal=0.1.0 --> cortex_m=0.2.0 (~0.2.0) nrf5x_hal=0.1.0 --> gnat_arm_elf^11.2 nrf5x_hal=0.1.0 --> hal=0.1.0 (~0.1.0) Dependencies cannot be met LOG: