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

[notify at aur.archlinux.org]

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/