diff --git a/index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.1.toml b/index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.1.toml new file mode 100644 index 00000000..96a5feb9 --- /dev/null +++ b/index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.1.toml @@ -0,0 +1,59 @@ +name = "pico_ada_c01_blink" +description = "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico" +long-description = """My first steps into Ada programming on the Pico: from Jeremy Grosser's classic +blink example through explicit pin control to using an external LED, plus thoughts on the elegant (but still +experimental) Ravenscar profile. + +Starting simple with LED blinking in Ada - internal LED, external LED with proper renaming, and a look at why Ravenscar +looks so clean (even if it's not quite ready for everyday use yet). + +Contained in Chapter 01 are: + +1. blink - Jeremy Grosser Ada sample +2. sketch_01_1_blink - Chapter 1.1 Blink internal LED +3. sketch_01_2_blink - Chapter 1.2 Blink external LED + +Read the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi +Pico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc +documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/), [SourceForge +repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/) +""" + +version = "1.5.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" +tags = ["raspberry", "pi", "pico", "rp2040", "ada2022", "embedded"] +executables = [ + "blink", + "sketch_01_1_blink", + "sketch_01_2_blink" +] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +pico_bsp = "^2" + +# vim: set textwidth=72 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:644afe2e7ce693c388dcc3d069a8c3b52f9bfd0040e771c376b1a9baa766fc7a", +"sha512:3319f29d78b59a841cd4c24aa8b5727dddd452bd005280b983c03912de589786de94aecfc4b2e85bfc103331ba2bdd17dbec30a893927e87564ce47d7498035f", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.5.1.tgz" diff --git a/index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml b/index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml new file mode 100644 index 00000000..eedf1650 --- /dev/null +++ b/index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml @@ -0,0 +1,69 @@ +name = "pico_ada_c01_blink_lt" +description = "Chapter 1 Reloaded: Blinking LEDs on Both Cores" +long-description = """Blinking LEDs on Both Cores Updated Chapter 1 using the new light_tasking_rp2040 +runtime - now with proper multi-core support, Ada.Real_Time, and delay until for accurate, slippage-free LED blinking on +Raspberry Pi Pico. + +After quick community help, I rewrote Chapter 1 to use light tasking on both RP2040 cores. No more manual timers - +clean, precise dual-LED blinking with zero slippage. + +Contained in Chapter 01 reloaded are: + +1. blink - Jeremy Grosser Ada sample +2. sketch_01_1_blink - Chapter 1.1 Blink internal LED +3. sketch_01_2_blink - Chapter 1.2 Blink external LED +4. double_blink-main - double blink using both cores. + +Read the full tutorial at [Chapter 1 Reloaded: Dual-Core Light Tasking - Blinking LEDs on Both +Cores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt), [GNATdoc +documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/), [SourceForge +repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico2_ada_c01_blink_lt/) +""" + +version = "1.5.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] +executables = [ + "blink", + "sketch_01_1_blink", + "sketch_01_2_blink", + "double_blink-main" +] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +rp2040_hal = "^2.7.1" +pico_bsp = "^2.2" +light_tasking_rp2040 = "^15.2" + +[configuration.values] +rp2040_hal.Use_Startup = false +rp2040_hal.Interrupts = "bb_runtimes" +light_tasking_rp2040.Max_CPUs = 2 +light_tasking_rp2040.Board = "rpi_pico" + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:03ffc64301ced8e2791209b3f676179e3093173c06faca6567e5d6128302a0ed", +"sha512:eb8c2d4a19b7d82b07332a99a8915555c00d218eb90f09b8382824f0de659f3486e1b3fee4f5a881f84e3773c083d7b0cbe015264da56277a685df1bf24b8179", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.5.1.tgz" diff --git a/index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.5.1.toml b/index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.5.1.toml new file mode 100644 index 00000000..56a40e0d --- /dev/null +++ b/index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.5.1.toml @@ -0,0 +1,65 @@ +name = "pico_ada_c02_button_and_led" +description = "Chapter 2 - Button controled LEDs" +long-description = """Controlling an LED with a button on the Raspberry Pi Pico using Ada - two simple +but useful interaction examples. + +In this chapter I combine a push button with an LED. We start with basic on/off control, then move to a toggle-style +table lamp with software debounce. + +Contained in Chapter 02 are: + +1. sketch_02_1_button_and_led - Chapter 2.1 Switch LED with Button +2. sketch_02_2_table_lamp - Chapter 2.2 Simple table lamp + +Read the full tutorial at [Chapter 2 - Button & +LED](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led), [GNATdoc +documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/), [SourceForge +repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c02_button_and_led/) +""" + +version = "1.5.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] +executables = [ + "sketch_02_1_button_and_led", + "sketch_02_2_table_lamp" +] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +rp2040_hal = "^2.7.1" +pico_bsp = "^2.2" +light_tasking_rp2040 = "^15.2" + +[configuration.values] +rp2040_hal.Use_Startup = false +rp2040_hal.Interrupts = "bb_runtimes" +light_tasking_rp2040.Max_CPUs = 2 +light_tasking_rp2040.Board = "rpi_pico" + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:af8490f7db31837a787a4702f119cdb81644d8c3e6c038b358d2bcaf8fc6152b", +"sha512:9fb1ce2191d9b6650bab05eb837af9a4003e86250b709813d20c373d89225479e100720948464aee4da9876ef0abef51354f1705e3716083803d54f3ff726f41", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.5.1.tgz" + diff --git a/index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml b/index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml new file mode 100644 index 00000000..06471ad0 --- /dev/null +++ b/index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml @@ -0,0 +1,70 @@ +name = "pico_ada_c03_led_bar" +description = "Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner" +long-description = """Building a smooth flowing LED bar on the Raspberry Pi Pico with Ada - from a simple +chasing light to a proper menacing Cylon scanner effect using real-time delays. + +In this chapter we turn ten LEDs into a flowing light bar. We start with the basic Freenove example using an array of +RP.GPIO.GPIO_Point (aliased limited tagged types). We then improve it with a pre-calculated sine-harmonic timing table +to create a realistic Cylon scanner - all done with Ada.Real_Time and zero floating-point at runtime for perfect +jitter-free movement. + +Contained in Chapter 03 are: + +1. Sketch_03_1_Flowing_Light - straight port of the classic flowing light +2. Cylon_Light - the final dramatic Cylon scanner with organic easing +3. Cylon_Light_Float - Floating point version of Cylon_Light + +Read the full tutorial at [Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing +scanner](https://pi-ada-tutorial.sourceforge.io/pico_ada_c03_led_bar), [GNATdoc +documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c03_led_bar/), [SourceForge +repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c03_led_bar/) + +(The Cylons did nothing wrong. Humans created the perfect companion species and then completely messed it up.) +""" +version = "1.5.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c03_led_bar" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] +executables = [ + "sketch_03_1_flowing_light", + "cylon_light_float", + "cylon_light" +] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +rp2040_hal = "^2.7.1" +pico_bsp = "^2.2" +light_tasking_rp2040 = "^15.2" + +[configuration.values] +rp2040_hal.Use_Startup = false +rp2040_hal.Interrupts = "bb_runtimes" +light_tasking_rp2040.Max_CPUs = 2 +light_tasking_rp2040.Board = "rpi_pico" + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:8ad0e376855ada75e7991562ef135dcb058f6b4c15898df3326a7a006bec406e", +"sha512:8d9a57a2e9a246d33daa21431f0780c9d6656dc60681c7be7729e64fa66116005aa97a2ae7d08169656a069b31648016aca2cf6aec229e8e451cb279c171fd7b", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.5.1.tgz" + diff --git a/index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml b/index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml new file mode 100644 index 00000000..64d88e53 --- /dev/null +++ b/index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml @@ -0,0 +1,69 @@ +name = "pico_ada_c04_pwm" +description = "Chapter 4: Analog LED with PWM" +long-description = """Building smooth breathing LEDs and flowing light bars with hardware PWM on the +Raspberry Pi Pico using Ada. From jittery duty cycles to perfect linear dimming - guided by the Voltcraft MSO-5102B +oscilloscope and a deep dive into PWM slice mapping on both Pico 1 and Pico 2. + +In this chapter we create a reusable Pico.Analog package for PWM-based analogue output. We start with a classic +breathing light, then move on to a flowing light bar. Along the way the MSO-5102B reveals the real behaviour of our +code, and we discover (and fix) a subtle bug in the experimental RP2350 HAL. + +Contained in Chapter 04 are: + +1. Pwm - Original PWM sample from Jeremy Grosser +2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED +3. sketch_04_2_flowing_light_2 - Chapter 4.1 Project Meteor Flowing Light + +Read the full tutorial at [Chapter 4: Analog & PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm), [GNATdoc +documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c04_pwm/), [SourceForge +repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c04_pwm/) +""" + +version = "1.5.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] +executables = [ + "pwm", + "sketch_04_1_breathing_light", + "sketch_04_2_flowing_light_2" +] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +rp2040_hal = "^2.7.1" +pico_bsp = "^2.2" +pico_xbsp = "^1.5" +light_tasking_rp2040 = "^15.2" + +[configuration.values] +rp2040_hal.Use_Startup = false +rp2040_hal.Interrupts = "bb_runtimes" +light_tasking_rp2040.Max_CPUs = 2 +light_tasking_rp2040.Board = "rpi_pico" + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:852b4decd0912adf36c9c1763944055bb22e837d3451ee157a15696298184eee", +"sha512:2272f7f06629c552ea49574fe3037a819d10343ec797191e8d3cfd0e2a87a4cc5f4f52e516ac4b6c6d543b5d2c8aec222746102bf5930e28d9aa4a5a3b682d0e", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.5.1.tgz" + diff --git a/index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml b/index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml new file mode 100644 index 00000000..b938a255 --- /dev/null +++ b/index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml @@ -0,0 +1,67 @@ +name = "pico_ada_c05_rgb" +description = "Chapter 5: Controlling an RGB LED with PWM" +long-description = """Learn how to drive a common-cathode RGB LED using the RP2040's PWM peripherals. +This chapter introduces a reusable Ada package for colour control and demonstrates both random colours and a smooth +colour-wheel gradient. + +Extend the simple LED examples to full-colour control with an RGB LED. Create a reusable `Pico.Analog.RGB_LED` package +and explore two sketches: random colours (using the embedded runtime) and a smooth colour-wheel transition. + +Contained in Chapter 05 are: + +2. sketch_05_1_random_color_light.adb - Chapter 5.1 Random Color Light +3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light + +Read the full tutorial at [Chapter 5: Controlling an RGB LED with +PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb), [GNATdoc +documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c05_rgb/), [SourceForge +repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c05_rgb/) +""" + +version = "1.5.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] +executables = [ + "sketch_05_1_random_color_light", + "sketch_05_2_gradient_color_light" +] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +rp2040_hal = "^2.7.1" +pico_bsp = "^2.2" +pico_xbsp = "^1.5" +embedded_rp2040 = "^15.2" + +[configuration.values] +rp2040_hal.Use_Startup = false +rp2040_hal.Interrupts = "bb_runtimes" +embedded_rp2040.Max_CPUs = 2 +embedded_rp2040.Board = "rpi_pico" + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:46ac504e1c92a7e052b3381b47c60655daf61e791b8ea87e6e93b491d60734d3", +"sha512:427c7715c53dd07eb0df7541354f481f9cd2b35906b5f1a23f0678ed000fcd163068f162d7d9b893625686ea896ce4ce5c14e3e32eff8a85f921a6befe0d947c", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.5.1.tgz" + diff --git a/index/pi/pico_xbsp/pico_xbsp-1.5.1.toml b/index/pi/pico_xbsp/pico_xbsp-1.5.1.toml new file mode 100644 index 00000000..0f39217d --- /dev/null +++ b/index/pi/pico_xbsp/pico_xbsp-1.5.1.toml @@ -0,0 +1,60 @@ +name = "pico_xbsp" +description = "Extended board support package for Raspberry Pi Pico" +long-description = """Extended board support package (XBSP) for the Raspberry Pi Pico. + +This crate extends the official pico_bsp from Jeremy Grosser with additional, reusable components. It is designed for +general use in any Ada project targeting the RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial. + +It is developed in parallel with the [Pi Ada Tutorial](https://pi-ada-tutorial.sourceforge.io/) and therefore also +supplies the exact support packages used in the tutorial chapters. This dual role makes pico_xbsp equally suitable for: + +* Standalone embedded Ada projects that only need the extra functionality, and * Readers following the tutorial who want +ready-made, well-documented building blocks. + +Current content: + +1. Pico.Analog - Analogue GPIO using Pulse Width Modulation (PWM). +1. Pico.Analog.RGB_LED - Analogue RGB LED control using Pulse Width Modulation (PWM). +2. Pico.UART_IO - UART Text Output (Input comes later). + +All packages are supplied with complete GNATDOC annotations. + +* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/) +* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/) + +The crate will grow with each new tutorial chapter while remaining a clean, independent library. +""" +version = "1.5.1" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +pico_bsp = "^2.2" + +# vim: set textwidth=120 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:52ff10a595e76c4fb2ac49aec7efa9cbf03f4d65a210a78d4c94acc8f2a0fde1", +"sha512:ea6fc88d89bdf13948631d9e85b145b0cfa87a0274e4eaeb841ae0561cbf390dac83092b76276b9fe877792351e879f4a0f687bc24e7fc46914026f669fb47d1", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.1.tgz" +