{
  "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": {
    "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/"
}