flops [1] filed an orphan request for teensyduino [2]: Version 1.51 is available for now, it would be great to update this package [1] https://aur.archlinux.org/account/flops/ [2] https://aur.archlinux.org/pkgbase/teensyduino/