[aur-requests] [PRQ#3354] Deletion Request for z3-codeplex
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/
21 May
21 May
5:04 p.m.
New subject: [aur-requests] [PRQ#3354] Request Accepted
Request #3354 has been accepted by Kyrias [1]. [1] https://aur.archlinux.org/account/Kyrias/
3503
Age (days ago)
3503
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org