{
  "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"
    }
  },
  "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 <krischik@users.sourceforge.net>"
  ],
  "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"
}