[aur-requests] [PRQ#28318] Deletion Request for apalache
20 Sep
2021
20 Sep
'21
6:52 p.m.
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/
20 Sep
20 Sep
6:52 p.m.
New subject: [aur-requests] [PRQ#28318] Deletion Request for apalache Accepted
Request #28318 has been accepted automatically by the Arch User Repository package request system: Deletion of a fresh package requested by its current maintainer.
1189
Age (days ago)
1189
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org