{
  "schema-version": 1,
  "mpy-device": "esp32",
  "mpy-version": "1.25.0",
  "firmware": {
    "source": "https://micropython.org/download/ESP32_GENERIC/",
    "date": "2025-04-15",
    "files": [
      {
        "name": "ESP32_GENERIC-20250415-v1.25.0.bin",
        "source": "https://micropython.org/resources/firmware/ESP32_GENERIC-20250415-v1.25.0.bin",
        "method": [
          {
            "type": "esptool",
            "version": 5,
            "erase": "esptool --chip esp32 --port {port} --baud {baud} --after hard-reset erase-flash",
            "flash": "esptool --chip esp32 --port {port} --baud {baud} --after hard-reset write-flash 0x1000 {file}"
          }
        ]
      }
    ]
  },
  "typings": {
    "source": "https://pypi.org/",
    "method": [
      {
        "type": "python",
        "install": "python -m pip install --no-compile --target=typings {package1} {package2}"
      }
    ],
    "packages": [
      "micropython-stdlib-stubs==1.25.0",
      "micropython-esp32-stubs==1.25.0.post5"
    ]
  }
}