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