NightChips [1] filed an orphan request for arduino-pro-ide [2]: The mantainer does not have any contact information, and from their github history they appear to not be active for 4-5 months. [1] https://aur.archlinux.org/account/NightChips/ [2] https://aur.archlinux.org/pkgbase/arduino-pro-ide/