Ice_Phoenix [1] filed a deletion request for z3-unstable-git [2]: After Z3 4.4.1, the unstable branch is obsolete, therefore, this git- based package should also be dropped. [1] https://aur.archlinux.org/account/Ice_Phoenix/ [2] https://aur.archlinux.org/pkgbase/z3-unstable-git/