lean: update to 3.51.1

[barracuda156]

Description

Update, drop arch restriction

Type(s)

• bugfix
• enhancement
• security fix

Tested on

macOS 10.6
Xcode 3.2

Verification

Have you

• followed our Commit Message Guidelines?
• squashed and minimized your commits?
• checked that there aren't other open pull requests for the same change?
• referenced existing tickets on Trac with full URL in commit message?
• checked your Portfile with port lint --nitpick?
• tried existing tests with sudo port test?
• tried a full install with sudo port -vst install?
• tested basic functionality of all binary files?
• checked that the Portfile's most important variants haven't been broken?

[macportsbot]

Notifying maintainers:
@kakuhen for port lean.

[barracuda156]

No idea why this was set to x86_64 arm64, I built this with zero fixes added and got 1 test case failure:

99% tests passed, 1 tests failed out of 1441

Total Test time (real) = 1149.99 sec

The following tests FAILED:
	1366 - leanittest_complete_trailing_period.lean (Failed)

Issue for the test case: leanprover-community/lean#816

[pmetzger]

LGTM. @kakuhen?

[pmetzger]

BTW, I have certain suspicions that the maintainer might not actually be maintaining anything given the lack of an email address; if they time out, you might file a Port Abandoned.

[pmetzger]

See above.