MarsSeed [1] filed a deletion request for arduino-mk [2]: Demo/template code from 2017 which is not useful to have as an installed package. The source should be forked and used as a starting point for Arduino development.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/arduino-mk/
