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

9 Apr 2022


      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/

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

notify＠aur.archlinux.org