[aur-requests] [PRQ#3354] Deletion Request for z3-codeplex

[notify at aur.archlinux.org]

Ice_Phoenix [1] filed a deletion request for z3-codeplex [2]:

Z3 moved from codeplex to github, new package `z3-stable-git`
supersedes this

[1] https://aur.archlinux.org/account/Ice_Phoenix/
[2] https://aur.archlinux.org/pkgbase/z3-codeplex/