[aur-requests] [PRQ#33912] Orphan Request for boolector-git Accepted
notify at aur.archlinux.org
notify at aur.archlinux.org
Tue May 3 09:53:02 UTC 2022
Request #33912 has been Accepted by alerque [1]:
[Autogenerated] Accepted orphan for boolector-git.
[1] https://aur.archlinux.org/account/alerque/
More information about the aur-requests
mailing list