[PRQ#72625] Merge Request for lean4
25 Apr
2025
25 Apr
'25
6:47 p.m.
oech3 [1] filed a request to merge lean4 [2] into lean [3]: same [1] https://aur.archlinux.org/account/oech3/ [2] https://aur.archlinux.org/pkgbase/lean4/ [3] https://aur.archlinux.org/pkgbase/lean/
26 Apr
26 Apr
7:58 p.m.
New subject: [PRQ#72625] Merge Request for lean4 Accepted
Request #72625 has been Accepted by Muflone [1]: [Autogenerated] Accepted merge for lean4 into lean. [1] https://aur.archlinux.org/account/Muflone/
206
Age (days ago)
207
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org