| Port: | math/lean4 |
|---|---|
| Version: | 4.31.0 |
| Maintainer: | [email protected] |
| Last committer: | |
| Build environment: | 150amd64-default |
| Category: | build |
| Flavor: | |
| Report date: | July 5, 2026, 3:02 p.m. |
| Log URL: | https://pkg-status.freebsd.org/beefy23/data/150amd64-default/4503d4fcebc4/logs/lean4-4.31.0.log |
| Build URL: | https://pkg-status.freebsd.org/beefy23/build.html?mastername=150amd64-default&build=4503d4fcebc4 |
| Report URL: | |
| More info: | See the port detail page for the fallout history for this port. |