MarsSeed [1] filed a deletion request for z3-java [2]: Unused, abandoned variant from 2019 of Arch/extra/z3. OOD flag ignored since 2021.
Fails to build. Votes: 0; Popularity: 0.000000; Comments: 0. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/z3-java/
