https://github.com/leanprover-community/lean/releases/expanded_assets/v3.48.0