Merge pull request #287154 from r-ryantm/auto-update/arduino-ide

arduino-ide: 2.2.1 -> 2.3.2
This commit is contained in:
Weijia Wang 2024-03-07 10:05:48 +01:00 committed by GitHub
commit 8cff5aee75
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -5,11 +5,11 @@
let let
pname = "arduino-ide"; pname = "arduino-ide";
version = "2.2.1"; version = "2.3.2";
src = fetchurl { src = fetchurl {
url = "https://github.com/arduino/arduino-ide/releases/download/${version}/arduino-ide_${version}_Linux_64bit.AppImage"; url = "https://github.com/arduino/arduino-ide/releases/download/${version}/arduino-ide_${version}_Linux_64bit.AppImage";
hash = "sha256-77uS/3ean3dWG/vDHG+ry238hiJlYub7H03f15eJu+I="; hash = "sha256-M7JKfld6DRk4hxih5MufAhW9kJ+ePDrBhE+oXFc8dYw=";
}; };
appimageContents = appimageTools.extractType2 { inherit pname version src; }; appimageContents = appimageTools.extractType2 { inherit pname version src; };