Attachment #260308
git -C /usr/ports diff math/lean4 patch 2025-05-10 03:47:52 UTC 2.30 KB milios: maintainer-approval? Details