18 Jun
2021
18 Jun
'21
7:33 p.m.
xiretza [1] filed an orphan request for btor2tools-git [2]: Doesn't build (missing makedepends), no reaction to comment [1] https://aur.archlinux.org/account/xiretza/ [2] https://aur.archlinux.org/pkgbase/btor2tools-git/