[aur-requests] [PRQ#26499] Deletion Request for yices-bin Accepted
notify at aur.archlinux.org
notify at aur.archlinux.org
Tue Jun 22 23:39:13 UTC 2021
Request #26499 has been accepted by grawlinson [1].
[1] https://aur.archlinux.org/account/grawlinson/
More information about the aur-requests
mailing list