[aur-requests] [PRQ#28318] Deletion Request for apalache

[notify--- via aur-requests]

rnbguy [1] filed a deletion request for apalache [2]:

I forgot to refactor my build script with new `apalache-bin` package
name.

[1] https://aur.archlinux.org/account/rnbguy/
[2] https://aur.archlinux.org/pkgbase/apalache/