[aur-requests] [PRQ#28074] Deletion Request for why3-git Accepted

notify at aur.archlinux.org notify at aur.archlinux.org
Sat Sep 11 17:37:00 UTC 2021


Request #28074 has been accepted by ainola [1].

[1] https://aur.archlinux.org/account/ainola/


More information about the aur-requests mailing list