| Port: | math/lean4 |
|---|---|
| Maintainer: | yuri@FreeBSD.org |
| URLs: | FreshPorts |
| port | version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/lean4 | 4.25.2 | 150releng-amd64-default | fetch | log report build queue | |
| math/lean4 | 4.25.2 | 143amd64-default | fetch | log report build queue | |
| math/lean4 | 4.25.2 | main-amd64-default | fetch | log report build queue | |
| math/lean4 | 4.25.2 | main-amd64-default | fetch | log report build queue | |
| math/lean4 | 4.25.2 | 150releng-amd64-default | fetch | 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-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 |