@tobozo Hi, thanks ! Fantastic... but I am in #nixOS and I think I do not have control over the Arduino "core" version ... if I have understood it..

https://github.com/NixOS/nixpkgs/tree/nixos-23.11/pkgs/development/embedded/arduino/arduino-core

but in fact #nixOS should be ace at going back to an earlier version... probably a whole #flake saga .... but that is over my head. How to force an earlier version #downgrade of #arduino #arduinocore in #nixOS

A process similar to this but for the package.... whoah...

https://nixos-and-flakes.thiscute.world/nixos-with-flakes/downgrade-or-upgrade-packages

#downgrade #downgrading