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

[notify--- via aur-requests]

xiretza [1] filed an orphan request for boolector-git [2]:

Several packaging issues reported months ago with no reaction, broken
git:// source

[1] https://aur.archlinux.org/account/xiretza/
[2] https://aur.archlinux.org/pkgbase/boolector-git/