| Port: | math/lean4 |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/lean4 | 4.31.0 | main-amd64-default | build | log report build queue | |
| math/lean4 | 4.30.0 | main-arm64-default | fetch | log report build queue | |
| math/lean4 | 4.30.0_1 | 143amd64-default | build | log report build queue | |
| math/lean4 | 4.30.0 | 150amd64-default | fetch | log report build queue | |
| math/lean4 | 4.30.0 | main-amd64-default | fetch | log report build queue |