[PRQ#70090] Orphan Request for lean4
18 Feb
2025
18 Feb
'25
2:28 p.m.
MarsSeed [1] filed an orphan request for lean4 [2]: Flagged out-of-date (2024-06-26). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/lean4/
18 Feb
18 Feb
2:28 p.m.
New subject: [PRQ#70090] Orphan Request for lean4 Accepted
Request #70090 has been Accepted by MarsSeed [1]. [1] https://aur.archlinux.org/account/MarsSeed/
6
Age (days ago)
6
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org