21 May
2015
21 May
'15
2:02 p.m.
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/