| port | maintainer | build environment | category | date | urls |
|---|---|---|---|---|---|
| math/lean | [email protected] | main-powerpc-default | build | 2023-06-02 11:31 | log report port detail FreshPorts |
| math/lean | [email protected] | main-powerpc64-default | build | 2023-02-05 23:30 | log report port detail FreshPorts |