[aur-requests] [PRQ#33912] Orphan Request for boolector-git Accepted

3 May 2022

      Request #33912 has been Accepted by alerque [1]:

[Autogenerated] Accepted orphan for boolector-git.

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

notify＠aur.archlinux.org