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

[notify--- via aur-requests]

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

[Autogenerated] Accepted orphan for boolector-git.

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