[PRQ#74817] Merge Request for lean-git
24 Jul
2025
24 Jul
'25
12:49 p.m.
oech3 [1] filed a request to merge lean-git [2] into lean4-git [3]: leave unbroken and maintained one. Drain 4 vote. [1] https://aur.archlinux.org/account/oech3/ [2] https://aur.archlinux.org/pkgbase/lean-git/ [3] https://aur.archlinux.org/pkgbase/lean4-git/
27 Jul
27 Jul
3:05 p.m.
New subject: [PRQ#74817] Merge Request for lean-git Accepted
Request #74817 has been Accepted by Muflone [1]: [Autogenerated] Accepted merge for lean-git into lean4-git. [1] https://aur.archlinux.org/account/Muflone/
40
Age (days ago)
43
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org