[aur-requests] [PRQ#28300] Merge Request for apalache Accepted