[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