Arch is a little weird in its Arduino packaging, you’ll have to tweak a thing or two to be able to use it. It’s probably easier to download the Arduino tarball, extract it somewhere, and use that.
Nevertheless, there’s an older thread where people shared how they got the firmware build and flashing work with Arch’s Arduino package: