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

notify at aur.archlinux.org notify at aur.archlinux.org
Mon Sep 20 18:52:11 UTC 2021


Request #28318 has been accepted automatically by the Arch User
Repository package request system:

Deletion of a fresh package requested by its current maintainer.


More information about the aur-requests mailing list