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