Koromix [1] filed a deletion request for teensyduino-toolchain [2]: Obsolete and broken: this package was used to provide the upstream compiler toolchains for my teensyduino package instead of using Arch Linux's AVR/ARM toolchains.
I changed things so that teensyduino now keeps the upstream toolchains and teensyduino-native uses Arch Linux's ones. [1] https://aur.archlinux.org/account/Koromix/ [2] https://aur.archlinux.org/pkgbase/teensyduino-toolchain/
