| Port: | math/lean4 |
|---|---|
| Maintainer: | yuri@FreeBSD.org |
| URLs: | FreshPorts |
| port | version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/lean4 | 4.20.1_1 | 135arm64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.22.0 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.22.0 | 135arm64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.22.0 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.22.0 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135arm64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135arm64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135arm64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-quarterly | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 135amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 134amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1_1 | 134amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1 | 134amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1 | 134arm64-default | build | log report build queue | |
| math/lean4 | 4.20.1 | 134amd64-default | build | log report build queue | |
| math/lean4 | 4.20.1 | 134amd64-default | build | log report build queue | |
| math/lean4 | 4.20.0.r5 | 134amd64-default | build | log report build queue |
See the fallout history page for more entries for this port.