[PRQ#63457] Orphan Request for z3-java
2 Sep
2024
2 Sep
'24
1:29 p.m.
MarsSeed [1] filed an orphan request for z3-java [2]: Flagged out-of-date (2021-05-04). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/z3-java/
2 Sep
2 Sep
1:29 p.m.
New subject: [PRQ#63457] Orphan Request for z3-java Accepted
Request #63457 has been Accepted by MarsSeed [1]. [1] https://aur.archlinux.org/account/MarsSeed/
114
Age (days ago)
114
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org