openbsd-ports/devel/arduino-esp32/patches
..
patch-platform_txt