Granted the package still works. but it is out of date by quite a bit and the package downloads an older version of the project before it was renamed and further maintained at the link i sent before.
the arduino-ide-beta-bin package has the latest version of the project (after it was renamed). arduino-pro-ide is an old duplicate of arduino-ide-beta-bi. I wont argue though. if you think the package should remain thats fine. just thought id claridy myself incase you misunderstood. Joshua On Saturday, 2 July 2022 18:51:37 BST you wrote: > Request #35693 has been Rejected by Muflone [1]: > > the package seems to work still > > [1] https://aur.archlinux.org/account/Muflone/