FabioLolix [1] filed a deletion request for arduino-pro-ide-latest [2]: Duplicate of arduino-pro-ide. The user flagged arduino-pro-ide OOD and created the duplicate the same day.
[1] https://aur.archlinux.org/account/FabioLolix/ [2] https://aur.archlinux.org/pkgbase/arduino-pro-ide-latest/
