[aur-requests] [PRQ#33912] Orphan Request for boolector-git
9 Apr
2022
9 Apr
'22
2:29 p.m.
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/
3 May
3 May
9:53 a.m.
New subject: [aur-requests] [PRQ#33912] Orphan Request for boolector-git Accepted
Request #33912 has been Accepted by alerque [1]: [Autogenerated] Accepted orphan for boolector-git. [1] https://aur.archlinux.org/account/alerque/
973
Age (days ago)
997
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org