{ "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": "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico", "development_only": false, "latest_version": "1.8.0", "name": "pico_ada_c01_blink", "selected_version": "1.8.0", "versions": [ { "dependants": [], "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" }, { "catalog": "community", "condition": null, "name": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.8", "resolved": true, "version": "1.8.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": { "values": { "pico_xbsp": { "Event_Log_Output": "uart" } } }, "depends-on": [ { "pico_bsp": "^2.2", "pico_xbsp": "^1.8" } ], "description": "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "My first steps into Ada programming on the Pico: from Jeremy Grosser's classic\nblink example through explicit pin control to using an external LED, plus thoughts on the elegant (but still\nexperimental) Ravenscar profile.\n\nStarting simple with LED blinking in Ada - internal LED, external LED with proper renaming, and a look at why Ravenscar\nlooks so clean (even if it's not quite ready for everyday use yet).\n\nContained in Chapter 01 are:\n\n1. blink\t - Jeremy Grosser Ada sample\n2. sketch_01_1_blink - Chapter 1.1 Blink internal LED\n3. sketch_01_2_blink - Chapter 1.2 Blink external LED\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "notes": "Read the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_doc/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/)\n", "origin": { "hashes": [ "sha256:fafec550f6c3803c17da6f10c677bc576c4effb284943169465e87092aa4817d", "sha512:a09a1084c894df4014a5213b73c571045505de4975b90a847f72c779cc1b5337218255ddaf0897bb68c31383d86ac16467353499f1229c8e3c4527d0b3519934" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.8.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022", "embedded" ], "version": "1.8.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml", "version": "1.8.0" }, { "dependants": [], "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" }, { "catalog": "community", "condition": null, "name": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.7", "resolved": true, "version": "1.8.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", "pico_xbsp": "^1.7" } ], "description": "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink", "uart_echo", "ws2812_demo" ], "licenses": "GPL-3.0-or-later", "long-description": "My first steps into Ada programming on the Pico: from Jeremy Grosser's classic\nblink example through explicit pin control to using an external LED, plus thoughts on the elegant (but still\nexperimental) Ravenscar profile.\n\nStarting simple with LED blinking in Ada - internal LED, external LED with proper renaming, and a look at why Ravenscar\nlooks so clean (even if it's not quite ready for everyday use yet).\n\nContained in Chapter 01 are:\n\n1. blink\t - Jeremy Grosser Ada sample\n2. sketch_01_1_blink - Chapter 1.1 Blink internal LED\n3. sketch_01_2_blink - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "hashes": [ "sha256:b2a407d0ce278129403aac15a6d4674edeeab2d94b042e7d5645b576a7eb42d9", "sha512:af8f8ff2825441f9323e3b7edc000b8a088d15fbf2ac2b6a98516b41c04dd3fecef05de1b833f1df7cb59896144ecbc59bbe92e24ff7cba630429cde33aff77f" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.7.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022", "embedded" ], "version": "1.7.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.7.0.toml", "version": "1.7.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^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" } ], "description": "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "My first steps into Ada programming on the Pico: from Jeremy Grosser's classic\nblink example through explicit pin control to using an external LED, plus thoughts on the elegant (but still\nexperimental) Ravenscar profile.\n\nStarting simple with LED blinking in Ada - internal LED, external LED with proper renaming, and a look at why Ravenscar\nlooks so clean (even if it's not quite ready for everyday use yet).\n\nContained in Chapter 01 are:\n\n1. blink\t - Jeremy Grosser Ada sample\n2. sketch_01_1_blink - Chapter 1.1 Blink internal LED\n3. sketch_01_2_blink - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "hashes": [ "sha256:31d658ae9f84f8b353774b2e54611a9475d4c9e517469247effa8fa0d2a9dd9a", "sha512:4dac5be0e3caa7531fdfe1101f741260a8fc846a66cb97fc4f13174c438060b41d55b78968e4c0e144edec47ac10628fb0786d23a0724740a336dcff1217f9df" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.6.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022", "embedded" ], "version": "1.6.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.6.0.toml", "version": "1.6.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^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" } ], "description": "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "My first steps into Ada programming on the Pico: from Jeremy Grosser's classic\nblink example through explicit pin control to using an external LED, plus thoughts on the elegant (but still\nexperimental) Ravenscar profile.\n\nStarting simple with LED blinking in Ada - internal LED, external LED with proper renaming, and a look at why Ravenscar\nlooks so clean (even if it's not quite ready for everyday use yet).\n\nContained in Chapter 01 are:\n\n1. blink - Jeremy Grosser Ada sample\n2. sketch_01_1_blink - Chapter 1.1 Blink internal LED\n3. sketch_01_2_blink - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "hashes": [ "sha256:a3b2713a2df92dfdc7a47cdc8994d3fe03ce81902b0d0d501fccc1f748da65d4", "sha512:b12bffdec925e1424fb830efece4a55263e3f487b5ee120f576979f1954a181f509f2b4c1493983ad75f0ade0f3e00d8df9aaebce3e08b2cebfcab53d8f8bb7c" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.5.2.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022", "embedded" ], "version": "1.5.2", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.2.toml", "version": "1.5.2" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^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" } ], "description": "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "My first steps into Ada programming on the Pico: from Jeremy Grosser's classic\nblink example through explicit pin control to using an external LED, plus thoughts on the elegant (but still\nexperimental) Ravenscar profile.\n\nStarting simple with LED blinking in Ada - internal LED, external LED with proper renaming, and a look at why Ravenscar\nlooks so clean (even if it's not quite ready for everyday use yet).\n\nContained in Chapter 01 are:\n\n1. blink - Jeremy Grosser Ada sample\n2. sketch_01_1_blink - Chapter 1.1 Blink internal LED\n3. sketch_01_2_blink - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "hashes": [ "sha256:644afe2e7ce693c388dcc3d069a8c3b52f9bfd0040e771c376b1a9baa766fc7a", "sha512:3319f29d78b59a841cd4c24aa8b5727dddd452bd005280b983c03912de589786de94aecfc4b2e85bfc103331ba2bdd17dbec30a893927e87564ce47d7498035f" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.5.1.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022", "embedded" ], "version": "1.5.1", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.1.toml", "version": "1.5.1" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^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" } ], "description": "Chapter 1: Blinking LEDs", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "Getting Started with Ada on the Raspberry Pi Pico\nThis create implement the samples of Chapter 1 of the\n[Freenove Kit for Raspberry Pi Pico C Tutorial](https://docs.freenove.com/projects/fnk0058/en/latest/fnk0058/codes/C.html)\n\nContained in Chapter 01 are:\n\n1. blink - Jeremy Grosser Ada sample \n2. - Chapter 1.1 Blink internal LED\n3. - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada\non the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink)\n\n> Starting simple with LED blinking in Ada - internal LED, external LED with\n> proper renaming, and a look at why Ravenscar looks so clean (even if it's not\n> quite ready for everyday use yet).\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "hashes": [ "sha256:f9bf7d9678d18e01044f1d42d9717e4587169bad3f88a3a4df859ea860273ba3", "sha512:a36cdfcc83e35de9e7a178fa24e921443dffbc4b0456f7f2d1038caf1f5941a6bfd48b2ebd150ca1226243865e2fea0829e7542337b1373f17d67a53afd7c286" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.3.1.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022", "embedded" ], "version": "1.3.1", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.3.1.toml", "version": "1.3.1" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^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" } ], "description": "Chapter 1: Blinking LEDs", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "Getting Started with Ada on the Raspberry Pi Pico\nThis create implement the samples of Chapter 1 of the\n[Freenove Kit for Raspberry Pi Pico C Tutorial](https://docs.freenove.com/projects/fnk0058/en/latest/fnk0058/codes/C.html)\n\nContained in Chapter 01 are:\n\n1. blink - Jeremy Grosser Ada sample \n2. - Chapter 1.1 Blink internal LED\n3. - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada\non the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink)\n\n> Starting simple with LED blinking in Ada - internal LED, external LED with\n> proper renaming, and a look at why Ravenscar looks so clean (even if it's not\n> quite ready for everyday use yet).\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "hashes": [ "sha256:fc5c9e22af149da9ce381ae327efc4b40490dbc378e04f9bebdcd3a6f4cc58f1", "sha512:e493c90391f422a70cca7cd1236a3fa33a2366c76ce09d25479bbdc9dc4bfe6be20cae0d0e2d1f63997f3aa6456136fe26561ed23b8293bf11f52c5d4671bd4c" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.3.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022", "embedded" ], "version": "1.3.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.3.0.toml", "version": "1.3.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^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" } ], "description": "Chapter 1: Blinking LEDs", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "Getting Started with Ada on the Raspberry Pi Pico\nThis create implement the samples of Chapter 1 of the\n[Freenove Kit for Raspberry Pi Pico C Tutorial](https://docs.freenove.com/projects/fnk0058/en/latest/fnk0058/codes/C.html)\n\nContained in Chapter 01 are:\n\n1. blink - Jeremy Grosser Ada sample \n2. - Chapter 1.1 Blink internal LED\n3. - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada\non the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink)\n\n> Starting simple with LED blinking in Ada - internal LED, external LED with\n> proper renaming, and a look at why Ravenscar looks so clean (even if it's not\n> quite ready for everyday use yet).\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "hashes": [ "sha256:a9c66b5b47c8194264f2ff9d6755e531ac4fd3c6dfae5b20807f6b11bfb13187", "sha512:ac850cc369db0f5a5dea213ed4d171645f46207b461a8112d023d73aedeea8880dd026c11db67ea459d9f6e2c352a091f5e981fb006be233033da265d9e40cb3" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.2.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022" ], "version": "1.2.0", "website": "https://sourceforge.net/projects/pi-ada-tutorial/" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.2.0.toml", "version": "1.2.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^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" } ], "description": "Chapter 1: Blinking LEDs", "executables": [ "blink", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "Getting Started with Ada on the Raspberry Pi Pico\nThis create implement the samples of Chapter 1 of the\n[Freenove Kit for Raspberry Pi Pico C Tutorial](https://docs.freenove.com/projects/fnk0058/en/latest/fnk0058/codes/C.html)\n\nContained in Chapter 01 are:\n\n1. blink - Jeremy Grosser Ada sample \n2. - Chapter 1.1 Blink internal LED\n3. - Chapter 1.2 Blink external LED\n\nRead the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada\non the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink)\n\n> Starting simple with LED blinking in Ada - internal LED, external LED with\n> proper renaming, and a look at why Ravenscar looks so clean (even if it's not\n> quite ready for everyday use yet).\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink", "origin": { "archive-name": "pico_ada_c01_blink-1.1.0.tgz", "hashes": [ "sha256:8d7cbb413e05d5d8f049fca814cf8429a91afca708434fa6c506fc2ab5d7febc", "sha512:e336c569d55b4167147211c20384c4b3e24fa3b08e9815370a2cd9c254e005791de74760f51af2add10614638fbc31ef03b072f6a415286899fabeb4afef72b4" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.1.0.tgz/download" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "ada2022" ], "version": "1.1.0", "website": "https://sourceforge.net/projects/pi-ada-tutorial/" }, "path": "index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.1.0.toml", "version": "1.1.0" } ] }, "schema_version": 4 }