{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "Chapter 4: Analog LED with PWM",
    "development_only": false,
    "latest_version": "1.8.0",
    "name": "pico_ada_c04_pwm",
    "selected_version": "1.8.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_bsp",
            "package": "pico_bsp",
            "provided_version": "2.2.0",
            "requirement": "^2.2",
            "resolved": true,
            "version": "2.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_xbsp",
            "package": "pico_xbsp",
            "provided_version": "1.8.0",
            "requirement": "^1.8",
            "resolved": true,
            "version": "1.8.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "light_tasking_rp2040",
            "package": "light_tasking_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.4",
            "resolved": true,
            "version": "15.4.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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": {
              "light_tasking_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "pico_xbsp": {
                "Variant": "tasking"
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "light_tasking_rp2040": "^15.4",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.8",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 4: Analog LED with PWM",
          "executables": [
            "pwm",
            "sketch_04_1_breathing_light",
            "sketch_04_2_flowing_light_2"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "Building smooth breathing LEDs and flowing light bars with hardware PWM on the\nRaspberry Pi Pico using Ada. From jittery duty cycles to perfect linear dimming - guided by the Voltcraft MSO-5102B\noscilloscope and a deep dive into PWM slice mapping on both Pico 1 and Pico 2.\n\nIn this chapter we create a reusable Pico.Analog package for PWM-based analogue output. We start with a classic\nbreathing light, then move on to a flowing light bar. Along the way the MSO-5102B reveals the real behaviour of our\ncode, and we discover (and fix) a subtle bug in the experimental RP2350 HAL.\n\nContained in Chapter 04 are:\n\n1. Pwm\t\t\t       - Original PWM sample from Jeremy Grosser\n2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED\n3. sketch_04_2_flowing_light_2 - Chapter 4.1 Project Meteor Flowing Light\n\nRead the full tutorial at [Chapter 4: Analog & PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm), [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_c04_pwm/)\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c04_pwm",
          "origin": {
            "hashes": [
              "sha256:7475a1314ae669aeefe9a0d4f5917a6ad051e5960420813cdfd7c04d0b15cf29",
              "sha512:a98e0cf3b1ab424be02bd5f8b3442e9621bf42346c0c2978ab504a3b17a106e55d8b59e117a02318239dec4850d626c864cbb6af25df2ca3d9290742ee470b53"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.8.0.tgz"
          },
          "tags": [
            "raspberry",
            "pi",
            "pico",
            "rp2040",
            "tasking",
            "light-tasking",
            "ada2022",
            "embedded"
          ],
          "version": "1.8.0",
          "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm"
        },
        "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml",
        "version": "1.8.0"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_bsp",
            "package": "pico_bsp",
            "provided_version": "2.2.0",
            "requirement": "^2.2",
            "resolved": true,
            "version": "2.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_xbsp",
            "package": "pico_xbsp",
            "provided_version": "1.8.0",
            "requirement": "^1.7",
            "resolved": true,
            "version": "1.8.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "light_tasking_rp2040",
            "package": "light_tasking_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.4",
            "resolved": true,
            "version": "15.4.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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": {
              "light_tasking_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "light_tasking_rp2040": "^15.4",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.7",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 4: Analog LED with PWM",
          "executables": [
            "pwm",
            "sketch_04_1_breathing_light",
            "sketch_04_2_flowing_light_2"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "Building smooth breathing LEDs and flowing light bars with hardware PWM on the\nRaspberry Pi Pico using Ada. From jittery duty cycles to perfect linear dimming - guided by the Voltcraft MSO-5102B\noscilloscope and a deep dive into PWM slice mapping on both Pico 1 and Pico 2.\n\nIn this chapter we create a reusable Pico.Analog package for PWM-based analogue output. We start with a classic\nbreathing light, then move on to a flowing light bar. Along the way the MSO-5102B reveals the real behaviour of our\ncode, and we discover (and fix) a subtle bug in the experimental RP2350 HAL.\n\nContained in Chapter 04 are:\n\n1. Pwm\t\t\t       - Original PWM sample from Jeremy Grosser\n2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED\n3. sketch_04_2_flowing_light_2 - Chapter 4.1 Project Meteor Flowing Light\n\nRead the full tutorial at [Chapter 4: Analog & PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c04_pwm/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c04_pwm/)\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c04_pwm",
          "origin": {
            "hashes": [
              "sha256:4182587d55e37a120ec6409b8938672f30fa20771374054b7f8da3cc463e4194",
              "sha512:62f2aaca3994888a5e7af969f53a5a4d65720332e30c9dc5d30ce1ef76f2afffadaccb5da3cd18025614d7f1c3914eba6a0052a561147c1a7aa321de71be0b98"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.7.0.tgz"
          },
          "tags": [
            "raspberry",
            "pi",
            "pico",
            "rp2040",
            "tasking",
            "light-tasking",
            "ada2022",
            "embedded"
          ],
          "version": "1.7.0",
          "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm"
        },
        "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml",
        "version": "1.7.0"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_bsp",
            "package": "pico_bsp",
            "provided_version": "2.2.0",
            "requirement": "^2.2",
            "resolved": true,
            "version": "2.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_xbsp",
            "package": "pico_xbsp",
            "provided_version": "1.8.0",
            "requirement": "^1.5",
            "resolved": true,
            "version": "1.8.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "light_tasking_rp2040",
            "package": "light_tasking_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.3",
            "resolved": true,
            "version": "15.4.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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": {
              "light_tasking_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "light_tasking_rp2040": "^15.3",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.5",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 4: Analog LED with PWM",
          "executables": [
            "pwm",
            "sketch_04_1_breathing_light",
            "sketch_04_2_flowing_light_2"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "Building smooth breathing LEDs and flowing light bars with hardware PWM on the\nRaspberry Pi Pico using Ada. From jittery duty cycles to perfect linear dimming - guided by the Voltcraft MSO-5102B\noscilloscope and a deep dive into PWM slice mapping on both Pico 1 and Pico 2.\n\nIn this chapter we create a reusable Pico.Analog package for PWM-based analogue output. We start with a classic\nbreathing light, then move on to a flowing light bar. Along the way the MSO-5102B reveals the real behaviour of our\ncode, and we discover (and fix) a subtle bug in the experimental RP2350 HAL.\n\nContained in Chapter 04 are:\n\n1. Pwm\t\t\t       - Original PWM sample from Jeremy Grosser\n2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED\n3. sketch_04_2_flowing_light_2 - Chapter 4.1 Project Meteor Flowing Light\n\nRead the full tutorial at [Chapter 4: Analog & PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c04_pwm/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c04_pwm/)\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c04_pwm",
          "origin": {
            "hashes": [
              "sha256:1c0dc4e2802f3e9b6ca2735fe42564cd3384a4f0f75a3e73127096c973e5143b",
              "sha512:fe9a0d144338413bf17ebedeb42de80f57e41526184350a18fd8f1a7824cd0ab23d1310a2e03853c6787b3b6d8264d49c1a0809b10136555d0c634ff83546e83"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.6.0.tgz"
          },
          "tags": [
            "raspberry",
            "pi",
            "pico",
            "rp2040",
            "tasking",
            "light-tasking",
            "ada2022",
            "embedded"
          ],
          "version": "1.6.0",
          "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm"
        },
        "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml",
        "version": "1.6.0"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_bsp",
            "package": "pico_bsp",
            "provided_version": "2.2.0",
            "requirement": "^2.2",
            "resolved": true,
            "version": "2.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_xbsp",
            "package": "pico_xbsp",
            "provided_version": "1.8.0",
            "requirement": "^1.5",
            "resolved": true,
            "version": "1.8.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "light_tasking_rp2040",
            "package": "light_tasking_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.3",
            "resolved": true,
            "version": "15.4.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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": {
              "light_tasking_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "light_tasking_rp2040": "^15.3",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.5",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 4: Analog LED with PWM",
          "executables": [
            "pwm",
            "sketch_04_1_breathing_light",
            "sketch_04_2_flowing_light_2"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "Building smooth breathing LEDs and flowing light bars with hardware PWM on the\nRaspberry Pi Pico using Ada. From jittery duty cycles to perfect linear dimming - guided by the Voltcraft MSO-5102B\noscilloscope and a deep dive into PWM slice mapping on both Pico 1 and Pico 2.\n\nIn this chapter we create a reusable Pico.Analog package for PWM-based analogue output. We start with a classic\nbreathing light, then move on to a flowing light bar. Along the way the MSO-5102B reveals the real behaviour of our\ncode, and we discover (and fix) a subtle bug in the experimental RP2350 HAL.\n\nContained in Chapter 04 are:\n\n1. Pwm                         - Original PWM sample from Jeremy Grosser\n2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED\n3. sketch_04_2_flowing_light_2 - Chapter 4.1 Project Meteor Flowing Light\n\nRead the full tutorial at [Chapter 4: Analog & PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c04_pwm/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c04_pwm/)\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c04_pwm",
          "origin": {
            "hashes": [
              "sha256:03761a8e4bd3774f03f48aa30cc5d71f8a68a80a240edc7ec8fe3724c42b8681",
              "sha512:942fd4aa8b70addc97743c12f8ad416836abf47275c1a7eaf996311c655b9a7c91bbf2f8e5897489105eedfa7470c0350948056510d58478a263d8f095e3e8cc"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.5.2.tgz"
          },
          "tags": [
            "raspberry",
            "pi",
            "pico",
            "rp2040",
            "tasking",
            "light-tasking",
            "ada2022",
            "embedded"
          ],
          "version": "1.5.2",
          "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm"
        },
        "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml",
        "version": "1.5.2"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_bsp",
            "package": "pico_bsp",
            "provided_version": "2.2.0",
            "requirement": "^2.2",
            "resolved": true,
            "version": "2.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_xbsp",
            "package": "pico_xbsp",
            "provided_version": "1.8.0",
            "requirement": "^1.5",
            "resolved": true,
            "version": "1.8.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "light_tasking_rp2040",
            "package": "light_tasking_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.2",
            "resolved": true,
            "version": "15.4.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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": {
              "light_tasking_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "light_tasking_rp2040": "^15.2",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.5",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 4: Analog LED with PWM",
          "executables": [
            "pwm",
            "sketch_04_1_breathing_light",
            "sketch_04_2_flowing_light_2"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "Building smooth breathing LEDs and flowing light bars with hardware PWM on the\nRaspberry Pi Pico using Ada. From jittery duty cycles to perfect linear dimming - guided by the Voltcraft MSO-5102B\noscilloscope and a deep dive into PWM slice mapping on both Pico 1 and Pico 2.\n\nIn this chapter we create a reusable Pico.Analog package for PWM-based analogue output. We start with a classic\nbreathing light, then move on to a flowing light bar. Along the way the MSO-5102B reveals the real behaviour of our\ncode, and we discover (and fix) a subtle bug in the experimental RP2350 HAL.\n\nContained in Chapter 04 are:\n\n1. Pwm                         - Original PWM sample from Jeremy Grosser\n2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED\n3. sketch_04_2_flowing_light_2 - Chapter 4.1 Project Meteor Flowing Light\n\nRead the full tutorial at [Chapter 4: Analog & PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c04_pwm/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c04_pwm/)\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c04_pwm",
          "origin": {
            "hashes": [
              "sha256:852b4decd0912adf36c9c1763944055bb22e837d3451ee157a15696298184eee",
              "sha512:2272f7f06629c552ea49574fe3037a819d10343ec797191e8d3cfd0e2a87a4cc5f4f52e516ac4b6c6d543b5d2c8aec222746102bf5930e28d9aa4a5a3b682d0e"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.5.1.tgz"
          },
          "tags": [
            "raspberry",
            "pi",
            "pico",
            "rp2040",
            "tasking",
            "light-tasking",
            "ada2022",
            "embedded"
          ],
          "version": "1.5.1",
          "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm"
        },
        "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml",
        "version": "1.5.1"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_bsp",
            "package": "pico_bsp",
            "provided_version": "2.2.0",
            "requirement": "^2.2",
            "resolved": true,
            "version": "2.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_xbsp",
            "package": "pico_xbsp",
            "provided_version": "1.8.0",
            "requirement": "^1.0",
            "resolved": true,
            "version": "1.8.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "light_tasking_rp2040",
            "package": "light_tasking_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.2",
            "resolved": true,
            "version": "15.4.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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": {
              "light_tasking_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "light_tasking_rp2040": "^15.2",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.0",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 4: Analog & PWM",
          "executables": [
            "pwm",
            "sketch_04_1_breathing_light",
            "sketch_04_2_flowing_light_2"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "\nContained in Chapter 04 reloaded are:\n\n1. Pwm                         - Original PWM sample from Jeremy Grosser \n2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED\n3. sketch_04_2_flowing_light_2 - Chapter 4,1 \n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c04_pwm/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c04_pwm",
          "origin": {
            "hashes": [
              "sha256:0ec7883ec452edee84fa667f810f92666c532957f18bc55fd2263b80cef5a37e",
              "sha512:d4137ad757bca91eaa25d24b7ffc996e6d65e5977c5b969a1630ec6a5c3c9a3bd9f4bc87ac332fd8e390eae120482b509c5fe2a4e1b493b80481565835390a68"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.4.0.tgz"
          },
          "tags": [
            "raspberry",
            "pi",
            "pico",
            "rp2040",
            "tasking",
            "light-tasking",
            "ada2022",
            "embedded"
          ],
          "version": "1.4.0",
          "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm"
        },
        "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml",
        "version": "1.4.0"
      }
    ]
  },
  "schema_version": 4
}
