Test ran at 2025-02-22 00:44:42.371183+00:00 SOLUTION: rpio=1.0.0: Driver for the BCM2835's GPIO, as seen on the Raspberry Pi Origin: source archive v1.0.0.tar.gz at https://git.sr.ht/~tevo/rpio/archive/v1.0.0.tar.gz with hashes sha256:77deed312bbf4fe92ca1bf727f198a55e003354140c4023ad5ae53297800fd4a, sha512:f0a5d193d3dad5050731929d566bb7633a479caedb2f5090400e5cd43ee306629a21c28692a57a5e2493d34d72f298945796d3a05df9162a4b9b7231a6cbf36d Properties: Author: Estevan Castilho Description: Driver for the BCM2835's GPIO, as seen on the Raspberry Pi License: MIT Maintainer: Estevan Castilho Maintainers_Logins: Tevo45 Name: rpio Tag: raspberry-pi Tag: gpio Tag: bcm2835 Version: 1.0.0 Website: https://git.sr.ht/~tevo/rpio Dependencies (direct): hal^1.0.0 Dependencies (solution): hal=1.0.0 Dependencies (graph): rpio=1.0.0 --> hal=1.0.0 (^1.0.0) LOG: Spawning: alr -d -n get --build rpio=1.0.0 Note: Deploying rpio=1.0.0... #=#=# ##O#-# ##O=# # #=#=-# # Note: Deploying hal=1.0.0... Note: Building rpio=1.0.0/rpio.gpr... Setup [mkdir] object directory for project HAL [mkdir] library directory for project HAL [mkdir] object directory for project RPIO [mkdir] library directory for project RPIO Compile [Ada] hal-bitmap.ads [Ada] hal-gpio.ads [Ada] hal-sdmmc.adb [Ada] hal-i2c.ads [Ada] hal-audio.ads [Ada] hal-touch_panel.ads [Ada] hal-framebuffer.ads [Ada] hal-filesystem.ads [Ada] hal.ads [Ada] hal-uart.ads [Ada] hal-flash.ads [Ada] hal-dsi.ads [Ada] hal-block_drivers.ads [Ada] hal-spi.ads [Ada] hal-time.ads [Ada] hal-real_time_clock.ads [Ada] rpio.adb [Ada] rpio-mmap.adb Build Libraries [gprlib] hal.lexch [gprlib] rpio.lexch [archive] libhal.a [index] libhal.a [archive] librpio.a [index] librpio.a rpio=1.0.0 successfully retrieved and built. Dependencies were solved as follows: + hal 1.0.0 (new) Found declared GPR file: rpio.gpr