[PRQ#63458] Deletion Request for z3-java
2 Sep
2024
2 Sep
'24
1:33 p.m.
MarsSeed [1] filed a deletion request for z3-java [2]: Unused, abandoned variant from 2019 of Arch/extra/z3. OOD flag ignored since 2021. Fails to build. Votes: 0; Popularity: 0.000000; Comments: 0. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/z3-java/
7 Sep
7 Sep
6:05 p.m.
New subject: [PRQ#63458] Deletion Request for z3-java Accepted
Request #63458 has been Accepted by Muflone [1]: [Autogenerated] Accepted deletion for z3-java. [1] https://aur.archlinux.org/account/Muflone/
123
Age (days ago)
128
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org