{
  "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 8: Serial Communication (UART, USB, SWD)",
    "development_only": false,
    "latest_version": "1.8.0",
    "name": "pico_ada_c08_serial_communication",
    "selected_version": "1.8.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "embedded_rp2040",
            "package": "embedded_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.4",
            "resolved": true,
            "version": "15.4.0"
          },
          {
            "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": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          }
        ],
        "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": {
              "adacl_embedded": {
                "Event_Log_Buffer_Size": 0,
                "Variant": "no_tasking"
              },
              "embedded_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "pico_xbsp": {
                "Variant": "tasking"
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "embedded_rp2040": "^15.4",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.8",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 8: Serial Communication (UART, USB, SWD)",
          "executables": [
            "sketch_08_1_serial_print",
            "sketch_08_2_serial_rw"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "Learn three different ways to perform serial communication with the\nRaspberry Pi Pico using Ada - SWD semihosting, UART and USB CDC-ACM.\n\nThree practical serial output methods together with complete example programs for sending and receiving data.\n\nContained in Chapter 08 are:\n\n1. sketch_08_1_serial_print.adb\t- Chapter 8.1 Print on all three destinations\n2. sketch_08_2_serial_rw.adb\t- Chapter 8.2 Read data from all three destinations\n\nRead the full tutorial at [Chapter 8: Serial Communication (UART, USB,\nSWD)](https://pi-ada-tutorial.sourceforge.io/pico_ada_c08_serial_communication), [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_c08_serial_communication/)\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c08_serial_communication",
          "origin": {
            "hashes": [
              "sha256:149abc1746c734cc7e4024e6358eef2c4730ba9b22333ef5345775250862d263",
              "sha512:8fcb433e6ee3ff0d55f8bc746d6d7a515f1e476d05523e3a61144fa72de16962181034c421281a6324b2b7f67eb39e348d8ac71dbafc0390fc0421c8ff63cbf0"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c08_serial_communication-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_c08_serial_communication"
        },
        "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml",
        "version": "1.8.0"
      }
    ]
  },
  "schema_version": 4
}