| Port: | math/lean4 |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/lean4 | 4.12.0 | 142amd64-default | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-default | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-default | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-default | build | log report build queue | |
| math/lean4 | 4.12.0 | 142amd64-quarterly | build | log report build queue |