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

11 Sep 2021


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

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

notify＠aur.archlinux.org