{ "canonical_url": "https://crates.flyology.org/community/", "catalog": { "name": "community", "repository_url": "https://github.com/alire-project/alire-index", "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0" }, "generated_at": "2026-08-23T04:55:42Z", "index": { "version": "1.4.0" }, "package": { "catalog": "community", "description": "Extended board support package for Raspberry Pi Pico", "development_only": false, "latest_version": "1.8.0", "name": "pico_xbsp", "selected_version": "1.8.0", "versions": [ { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.8.0", "qualifies": true, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "adacl_embedded", "package": "adacl_embedded", "provided_version": "7.1.2", "requirement": "^7.1.2", "resolved": true, "version": "7.1.2" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "usb_embedded", "package": "usb_embedded", "provided_version": "1.0.1", "requirement": "^1.0.0", "resolved": true, "version": "1.0.1" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "configuration": { "variables": { "Event_Log_Output": { "default": "none", "type": "Enum", "values": [ "none", "swd", "usb", "uart" ] }, "USB_RX_Buffer_Size": { "default": 128, "first": 64, "last": 1024, "type": "Integer" }, "USB_TX_Buffer_Size": { "default": 128, "first": 64, "last": 1024, "type": "Integer" }, "Variant": { "default": "no_tasking", "type": "Enum", "values": [ "tasking", "no_tasking" ] } } }, "depends-on": [ { "adacl_embedded": "^7.1.2", "pico_bsp": "^2.2", "usb_embedded": "^1.0.0" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate builds upon Jeremy Grosser's official pico_bsp and adds a growing set of clean, reusable components for Ada\ndevelopers targeting the RP2040. It is developed alongside the [Pi Ada\nTutorial](https://pi-ada-tutorial.sourceforge.io/) but is equally suitable for any standalone embedded Ada project.\n\nCurrent components:\n* Pico.Analog\t - Analogue GPIO using PWM\n* Pico.Analog.RGB_LED - Analogue RGB LED control using PWM\n* Pico.Debug_IO - Multi output interface for debug output\n* Pico.Tone\t - Square-wave tone generation using PWM\n* Pico.UART_IO\t - Simple UART text I/O for the Debug Probe (115200 8N1 on GP0/GP1)\n* Pico.USB_IO\t - Simple USB text I/O for direct connection to a PC terminal\n* Pico.Utils\t - Miscellaneous utilities\n\nThe crate is available in two variants:\n* `no_tasking` (default) - small, fast, and compatible with the light runtime\n* `tasking`\t\t - thread-safe using protected objects (requires a tasking runtime)\n\n* Event_Log_Output\n * \"none\"\t- deactivate output entirely.\n * \"swd\"\t- use Ada.Text_IO which uses semihosting to output to GDB. Don't forget to activate with\n\t\t `arm semihosting enable`.\n * \"usb\"\t- use `Pico.USB_IO` which in turn uses `USB.Device.Serial` for output. You will need a serial terminal\n\t\t to read the output.\n * \"uart\"\t- use `Pico.UART_IO` which in turn uses `RP.UART` for output. You will need a Debug Probe or a RS232C to\n\t\t USB interface as well as a serial terminal to read the output.\n\n* USB_TX_Buffer_Size & USB_RX_Buffer_Size\n Read and write buffers can be configured separately for greater flexibility.\n The default value of 128 bytes equals two USB block sizes and enables reliable bulk transfers.\n The minimum supported size is 64 bytes (one USB block). Larger multi-block transfers may fail if the buffer\n is set too small.\n\nAll packages include full GNATdoc annotations.\n\nUseful links:\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_doc)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n* [Tutorial homepage](https://pi-ada-tutorial.sourceforge.io/)\n\nThe library will continue to grow with each new tutorial chapter while remaining a clean, independent crate.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:bde7b8601f37d7002f7929fd003682941aa42c582e8cf268ba9139500d440c19", "sha512:5807b90337e323729bc985ace234dfe51d2af190631c9829e0d7d3255c395d4dc7150b466caf9e8b845d098dd03bea2c3b90c9cea4dfe020da670ee84cc14c2c" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.8.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.8.0", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.8.0.toml", "version": "1.8.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.7.0", "qualifies": true, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.7.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "configuration": { "variables": { "Variant": { "default": "no_tasking", "type": "Enum", "values": [ "tasking", "no_tasking" ] } } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate builds upon Jeremy Grosser's official pico_bsp and adds a growing set of clean, reusable components for Ada\ndevelopers targeting the RP2040. It is developed alongside the [Pi Ada\nTutorial](https://pi-ada-tutorial.sourceforge.io/) but is equally suitable for any standalone embedded Ada project.\n\nCurrent components:\n* Pico.Analog - Analogue GPIO using PWM\n* Pico.Analog.RGB_LED - Analogue RGB LED control using PWM\n* Pico.Tone - Square-wave tone generation using PWM\n* Pico.UART_IO - Simple UART text I/O for the Debug Probe (115200 8N1 on GP0/GP1)\n* Pico.Utils - Miscellaneous utilities\n\nThe crate is available in two variants:\n* `no_tasking` (default) - small, fast, and compatible with the light runtime\n* `tasking` - thread-safe using protected objects (requires a tasking runtime)\n\nAll packages include full GNATdoc annotations.\n\nUseful links:\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n* [Tutorial homepage](https://pi-ada-tutorial.sourceforge.io/)\n\nThe library will continue to grow with each new tutorial chapter while remaining a clean, independent crate.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:94deaac37258d96f7817a70f1047b2f6c4682ba115ea79395b02458e8e636dbd", "sha512:4bb9d0a0d38e235759b024d68f346f15140183386705c74e855d396162e49ad9bd77651c92a346bb6911385172794495a4574613c76433ff745c4a85f6d13787" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.7.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.7.0", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.7.0.toml", "version": "1.7.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.6.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.6.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "configuration": { "variables": { "Variant": { "default": "no_tasking", "type": "Enum", "values": [ "tasking", "no_tasking" ] } } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate builds upon Jeremy Grosser's official pico_bsp and adds a growing set of clean, reusable components for Ada\ndevelopers targeting the RP2040. It is developed alongside the [Pi Ada\nTutorial](https://pi-ada-tutorial.sourceforge.io/) but is equally suitable for any standalone embedded Ada project.\n\nCurrent components:\n* Pico.Analog - Analogue GPIO using PWM\n* Pico.Analog.RGB_LED - Analogue RGB LED control using PWM\n* Pico.Tone - Square-wave tone generation using PWM\n* Pico.UART_IO - Simple UART text I/O for the Debug Probe (115200 8N1 on GP0/GP1)\n* Pico.Utils - Miscellaneous utilities\n\nThe crate is available in two variants:\n* `no_tasking` (default) - small, fast, and compatible with the light runtime\n* `tasking` - thread-safe using protected objects (requires a tasking runtime)\n\nAll packages include full GNATdoc annotations.\n\nUseful links:\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n* [Tutorial homepage](https://pi-ada-tutorial.sourceforge.io/)\n\nThe library will continue to grow with each new tutorial chapter while remaining a clean, independent crate.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:62a05074f4e5bf588948458a81dac679d5fafb1b7b2686fa3c343dd9bbb7393a", "sha512:59d30558ea15aded27b855c3edb1d2d268f59769e3c8b1365400e3e0fc3234cca05d4687ff831aa2b9a89723e788b1091f9e4b41d970555a1db68b9722334f6d" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.6.1.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.6.1", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.6.1.toml", "version": "1.6.1" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.6.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.6.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate extends the official pico_bsp from Jeremy Grosser with additional, reusable components. It is designed for\ngeneral use in any Ada project targeting the RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the [Pi Ada Tutorial](https://pi-ada-tutorial.sourceforge.io/) and therefore also\nsupplies the exact support packages used in the tutorial chapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and * Readers following the tutorial who want\nready-made, well-documented building blocks.\n\nCurrent content:\n\n1. Pico.Analog\t\t- Analogue GPIO using Pulse Width Modulation (PWM).\n1. Pico.Analog.RGB_LED\t- Analogue RGB LED control using Pulse Width Modulation (PWM).\n2. Pico.UART_IO\t\t- UART Text Output (Input comes later).\n\nAll packages are supplied with complete GNATDOC annotations.\n\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n\nThe crate will grow with each new tutorial chapter while remaining a clean, independent library.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:907ff0a34e782049d67483c34d7c5da628921a562f83219eddd33ef3d37b40c1", "sha512:b40adbd2c0653a644cd5f1465b30ded07702cf78720d215978cda23d0c373bdd7b751d9c1e0c3732a639f7254b3b7fe0d289cc22211bda1285b5fd9050b4761d" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.6.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.6.0", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.6.0.toml", "version": "1.6.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.5.2", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.5.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate extends the official pico_bsp from Jeremy Grosser with additional, reusable components. It is designed for\ngeneral use in any Ada project targeting the RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the [Pi Ada Tutorial](https://pi-ada-tutorial.sourceforge.io/) and therefore also\nsupplies the exact support packages used in the tutorial chapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and * Readers following the tutorial who want\nready-made, well-documented building blocks.\n\nCurrent content:\n\n1. Pico.Analog - Analogue GPIO using Pulse Width Modulation (PWM).\n1. Pico.Analog.RGB_LED - Analogue RGB LED control using Pulse Width Modulation (PWM).\n2. Pico.UART_IO - UART Text Output (Input comes later).\n\nAll packages are supplied with complete GNATDOC annotations.\n\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n\nThe crate will grow with each new tutorial chapter while remaining a clean, independent library.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:9c2067fc36e655b13953f58d4b1994daba69341bc4dde98516b5398e54e25f3e", "sha512:c7340687f861b1e106543002119623b2bf95d72285730d7993d9645c69f691a54cd12f56230fdfc8f171950801f3fe97f8a52012a4abd93a3612e40b9477ffeb" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.2.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.5.2", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.5.2.toml", "version": "1.5.2" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.5.1", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.5.1", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate extends the official pico_bsp from Jeremy Grosser with additional, reusable components. It is designed for\ngeneral use in any Ada project targeting the RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the [Pi Ada Tutorial](https://pi-ada-tutorial.sourceforge.io/) and therefore also\nsupplies the exact support packages used in the tutorial chapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and * Readers following the tutorial who want\nready-made, well-documented building blocks.\n\nCurrent content:\n\n1. Pico.Analog - Analogue GPIO using Pulse Width Modulation (PWM).\n1. Pico.Analog.RGB_LED - Analogue RGB LED control using Pulse Width Modulation (PWM).\n2. Pico.UART_IO - UART Text Output (Input comes later).\n\nAll packages are supplied with complete GNATDOC annotations.\n\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n\nThe crate will grow with each new tutorial chapter while remaining a clean, independent library.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:52ff10a595e76c4fb2ac49aec7efa9cbf03f4d65a210a78d4c94acc8f2a0fde1", "sha512:ea6fc88d89bdf13948631d9e85b145b0cfa87a0274e4eaeb841ae0561cbf390dac83092b76276b9fe877792351e879f4a0f687bc24e7fc46914026f669fb47d1" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.1.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.5.1", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.5.1.toml", "version": "1.5.1" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.5.0", "qualifies": true, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.5.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate extends the official pico_bsp from Jeremy Grosser with additional,\nreusable components. It is designed for general use in any Ada project targeting\nthe RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the Pi Ada Tutorial[](https://pi-ada-tutorial.sourceforge.io/)\nand therefore also supplies the exact support packages used in the tutorial\nchapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and\n* Readers following the tutorial who want ready-made, well-documented building\n blocks.\n\nCurrent content:\n\n1. Pico.Analog - Simplified analogue GPIO using Pulse Width Modulation (PWM).\n2. Pico.UART_IO - Simplified UART Text Output (Input comes later).\n\nAll packages are supplied with complete GNATDOC annotations.\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n\nThe crate will grow with each new tutorial chapter while remaining a clean,\nindependent library.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:a1821dfa37406330d623e60900fad047da6440bcdea2545dedd720da6879f438", "sha512:f4b8defabf90678c3c60f028e39d9ee18f20a84ee3579c780057be53fa4619557fadfbf9b534c89395d7830c4fc4200c2afc2e69a6c306de93622600823507ed" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.5.0", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.5.0.toml", "version": "1.5.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.4.0", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.4.0", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate extends the official pico_bsp from Jeremy Grosser with additional,\nreusable components. It is designed for general use in any Ada project targeting\nthe RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the Pi Ada Tutorial[](https://pi-ada-tutorial.sourceforge.io/)\nand therefore also supplies the exact support packages used in the tutorial\nchapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and\n* Readers following the tutorial who want ready-made, well-documented building\n blocks.\n\nCurrent content:\n\n1. Pico.Analog - Simplified analogue GPIO using Pulse Width Modulation (PWM).\n2. Pico.UART_IO - Simplified UART Text Output (Input comes later).\n\nAll packages are supplied with complete GNATDOC annotations.\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n\nThe crate will grow with each new tutorial chapter while remaining a clean,\nindependent library.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:0ec66a3f9a53fa481faf62d2da18c5fdf4beb14badadd8340edc076f4b620cfd", "sha512:10de48f5c332fdca43d1235d65548ec43dfa9be757e43501545f6f0f2c0babef7d3679792f0b0ca1f09eedf6013712ca4891fb307c5d80991400aa4265ce155b" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.4.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.4.0", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.4.0.toml", "version": "1.4.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.3.3", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.3.3", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate extends the official pico_bsp from Jeremy Grosser with additional,\nreusable components. It is designed for general use in any Ada project targeting\nthe RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the Pi Ada Tutorial[](https://pi-ada-tutorial.sourceforge.io/)\nand therefore also supplies the exact support packages used in the tutorial\nchapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and\n* Readers following the tutorial who want ready-made, well-documented building\n blocks.\n\nCurrent content:\n\n1. Pico.Analog - Simplified analogue GPIO using Pulse Width Modulation (PWM).\n2. Pico.UART_IO - Simplified UART Text Output (Input comes later).\n\nAll packages are supplied with complete GNATDOC annotations.\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n\nThe crate will grow with each new tutorial chapter while remaining a clean,\nindependent library.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:f26e33878f379dedae89082f5b6c7e2f59ff33abb8f62046f8d90e8c854bc005", "sha512:97ecc825ec50306fcdefecdc439c93e70ea6771605c0427d599ef2ca03206b62b304d8debed597aef29ea4ffd88e5c75cae47f94c39d1ea793b8e31ea1268aa2" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.3.3.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.3.3", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.3.3.toml", "version": "1.3.3" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink", "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "1.3.2", "qualifies": true, "requirement": "^1.0", "requires": "pico_xbsp", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.5", "requires": "pico_xbsp", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.1.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.7", "requires": "pico_xbsp", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "1.3.2", "qualifies": false, "requirement": "^1.8", "requires": "pico_xbsp", "selected": true, "version": "1.8.0" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": [ "-gnat2022" ] }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "runtime_checks": "Everything" } }, "depends-on": [ { "pico_bsp": "^2.2" } ], "description": "Extended board support package for Raspberry Pi Pico", "licenses": "GPL-3.0-or-later", "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate extends the official pico_bsp from Jeremy Grosser with additional,\nreusable components. It is designed for general use in any Ada project targeting\nthe RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the Pi Ada Tutorial[](https://pi-ada-tutorial.sourceforge.io/)\nand therefore also supplies the exact support packages used in the tutorial\nchapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and\n* Readers following the tutorial who want ready-made, well-documented building\n blocks.\n\nCurrent content:\n\n1. Pico.Analog - Simplified analogue GPIO using Pulse Width Modulation (PWM).\n\nAll packages are supplied with complete GNATDOC annotations.\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n\nThe crate will grow with each new tutorial chapter while remaining a clean,\nindependent library.\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_xbsp", "origin": { "hashes": [ "sha256:e6b31a3c3ffda01d505f95a488d63deaac37f3af63033d187db423ef5a72f980", "sha512:ec7f99d2fbf07a7b571b9e0c519a7f73fd0e75057c6182b916c8b6365c0fd313454bfc69b832a03e698e7e448d1061595c9ddca6b9a91a9e41b6e7a40df5a58b" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.3.2.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.3.2", "website": "https://pi-ada-tutorial.sourceforge.io/" }, "path": "index/pi/pico_xbsp/pico_xbsp-1.3.2.toml", "version": "1.3.2" } ] }, "schema_version": 4 }