rnbguy [1] filed a request to merge apalache [2] into apalache-bin [3]: this is a binary (jar) release package [1] https://aur.archlinux.org/account/rnbguy/ [2] https://aur.archlinux.org/pkgbase/apalache/ [3] https://aur.archlinux.org/pkgbase/apalache-bin/