[aur-requests] [PRQ#3355] Deletion Request for z3-codeplex-unstable-git

Ice_Phoenix [1] filed a deletion request for z3-codeplex-unstable-git [2]: Z3 moved from codeplex to github, new package `z3-unstable-git` supersedes this [1] https://aur.archlinux.org/account/Ice_Phoenix/ [2] https://aur.archlinux.org/pkgbase/z3-codeplex-unstable-git/