{
  "authors": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "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 <krischik@users.sourceforge.net>"
  ],
  "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"
}