| 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 |