[aur-requests] [PRQ#31430] Deletion Request for z3-unstable-git
11 Jan
2022
11 Jan
'22
6:39 p.m.
Ice_Phoenix [1] filed a deletion request for z3-unstable-git [2]: After Z3 4.4.1, the unstable branch is obsolete, therefore, this git- based package should also be dropped. [1] https://aur.archlinux.org/account/Ice_Phoenix/ [2] https://aur.archlinux.org/pkgbase/z3-unstable-git/
12 Jan
12 Jan
7:33 p.m.
New subject: [aur-requests] [PRQ#31430] Deletion Request for z3-unstable-git Accepted
Request #31430 has been accepted by alex19EP [1]. [1] https://aur.archlinux.org/account/alex19EP/
1077
Age (days ago)
1078
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org