MarsSeed [1] filed a deletion request for boolr [2]: Unused foreign binary from 2017. Doesn't work - segfaults. Upstream's development discontinued since the above mentioned year. [a] [a]: https://github.com/GGBRW/BOOLR [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/boolr/