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/
- [PRQ#70090] Orphan Request for lean4 notify
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/