Dear Maintainer,
*I was using the Arduino IDE and attempting to update Wifi firmware, following the instructions here: https://learn.adafruit.com/adafruit-feather-m0-wifi-atwinc1500/updating-firmware
however the "Wifi101 Firmware Updater" option was not present on the Debian version of the Arudino IDE.
*After searching, I found that this capability had been removed by the following patch: https://sources.debian.org/patches/arduino/2:1.8.19%2Bdfsg1-1~bpo11%2B1/debian-hacks/Prevent-more-downloads-while-package-build.patch/
*A simple solution was found here: https://docs.arduino.cc/retired/getting-started-guides/ArduinoUnoWiFiFwUpdater/
summarized here:
create "tools" directory in Arduino directory (mkdir ~/Arduino/tools)
download and extract the latest zip in this directory (from here https://github.com/arduino/UnoWiFi-FirmwareUpdater-Plugin/releases/download/0.0.2/UnoWiFi-Updater-ArduinoIDE-Plugin-0.0.2.zip)
restart the IDE
* Doing this, the Wifi Firmware updater was enabled
* I don't know the best solution, I'm sure the patch was correct, but perhaps somewhere in the Debian documentation, these instructions could be documented.
Thank you